3718 search results - page 24 / 744 » IMPS: System Description |
118
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
88
Voted
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
CADE
2009
Springer
15 years 8 months ago
2009
Springer
136
Voted
CADE
2000
Springer
15 years 8 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 ...