425 search results - page 1 / 85 » The TPS Theorem Proving System |
76
Voted
CADE
1990
Springer
15 years 5 months ago
1990
Springer
89
Voted
CADE
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
91
Voted
FLAIRS
2003
15 years 2 months ago
2003
Automated Theorem Proving (ATP) problems may contain unnecessary axioms, either because some of the axiomatization of the theory is irrelevant to the particular theorem, or becaus...
80
Voted
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
110
Voted
VVEIS
2008
15 years 2 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...