12 search results - page 1 / 3 » ifiptcs 2010 |
83
Voted
IFIPTCS
2010
14 years 10 months ago
2010
94
Voted
IFIPTCS
2010
14 years 10 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...
102
Voted
IFIPTCS
2010
14 years 10 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...
111
Voted
IFIPTCS
2010
14 years 10 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...