491 search results - page 11 / 99 » An Interpolating Theorem Prover |
ENTCS
2007
14 years 11 months ago
2007
This paper proposes an extension to theorem proving interfaces for use with proofdirected debugging and other disproof-based applications. The extension is based around tracking a...
CADE
2009
Springer
16 years 10 days ago
2009
Springer
Abstract. An extension of the superposition-based E-prover [8] is described. The extension allows terms with integer exponents [3] in the input language. Obviously, this possibilit...
VMCAI
2007
Springer
15 years 5 months ago
2007
Springer
AIIA
2005
Springer
15 years 5 months ago
2005
Springer
AISC
2000
Springer
15 years 4 months ago
2000
Springer