336 search results - page 5 / 68 » Monitoring modulo theories |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
IJPP
2000
13 years 9 months ago
2000
FOSSACS
2006
Springer
14 years 1 months ago
2006
Springer
We prove that the equational theory of the process algebra BCCSP modulo completed simulation equivalence does not have a finite basis. Furthermore, we prove that with a finite alph...
ICFEM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
CADE
2011
Springer
12 years 9 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...