368 search results - page 11 / 74 » Arithmetic as a Theory Modulo |
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
SAT
2007
Springer
14 years 2 months ago
2007
Springer
CSL
2010
Springer
13 years 9 months ago
2010
Springer
IJPP
2000
13 years 8 months ago
2000
FOSSACS
2006
Springer
14 years 12 days 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...