3745 search results - page 31 / 749 » Sonic: System Description |
81
Voted
CADE
2009
Springer
15 years 6 months ago
2009
Springer
122
click to vote
CADE
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
CADE
1999
Springer
15 years 6 months ago
1999
Springer
87
Voted
TABLEAUX
1999
Springer
15 years 6 months ago
1999
Springer
114
click to vote
CADE
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...