491 search results - page 11 / 99 » An Interpolating Theorem Prover |
101
Voted
ENTCS
2007
15 years 3 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...
105
Voted
CADE
2009
Springer
16 years 4 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...
100
Voted
VMCAI
2007
Springer
15 years 9 months ago
2007
Springer
91
Voted
AIIA
2005
Springer
15 years 9 months ago
2005
Springer
105
Voted
AISC
2000
Springer
15 years 8 months ago
2000
Springer