3719 search results - page 25 / 744 » RACER System Description |
112
Voted
CADE
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
CADE
2008
Springer
15 years 9 months ago
2008
Springer
CADE
2002
Springer
15 years 9 months ago
2002
Springer
FLOPS
2010
Springer
15 years 4 months ago
2010
Springer
71
Voted
CADE
2005
Springer
15 years 3 months ago
2005
Springer