491 search results - page 11 / 99 » An Interpolating Theorem Prover |
ENTCS
2007
13 years 8 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
14 years 9 months 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
14 years 2 months ago
2007
Springer
AIIA
2005
Springer
14 years 2 months ago
2005
Springer
AISC
2000
Springer
14 years 1 months ago
2000
Springer