1 paper
A. Pavan, Kuldeep S. Meel, N. V. Vinodchandran +1
Interpretations of logical formulas over semirings have applications in various areas of computer science including logic, AI, databases, and security. Such interpretations provide…