12 search results - page 1 / 3 » ifiptcs 2010 |
IFIPTCS
2010
13 years 2 months ago
2010
IFIPTCS
2010
13 years 2 months ago
2010
Schnorr famously proved that Martin-L
IFIPTCS
2010
13 years 2 months ago
2010
We present a restriction of Resolution modulo where the rewrite rules are such that clauses rewrite to clauses, so that the reduct of a clause needs not be further transformed into...
IFIPTCS
2010
13 years 2 months ago
2010
Abstract. Concurrent pattern calculus drives interaction between processes by comparing data structures, just as sequential pattern calculus drives computation. By generalising fro...
IFIPTCS
2010
13 years 2 months ago
2010
This paper describes some basic relationships between mathematical structures that are relevant in quantum logic and probability, namely convex sets, effect algebras, and a new cl...