3 search results - page 1 / 1 » System Description: ARA - An Automatic Theorem Prover for Re... |
215
click to vote
CADE
2000
Springer
16 years 18 hour 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 ...
255
click to vote
TPHOL
1999
IEEE
15 years 12 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
235
click to vote
SBMF
2010
Springer
15 years 2 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...