Sciweavers

CADE
2009
Springer

Dei: A Theorem Prover for Terms with Integer Exponents

15 years 3 days ago
Dei: A Theorem Prover for Terms with Integer Exponents
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 possibility increases the capabilities of the E-prover particularly for preventing non-termination.
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Added 23 Nov 2009
Updated 23 Nov 2009
Type Conference
Year 2009
Where CADE
Authors Hicham Bensaid, Ricardo Caferra, Nicolas Peltier
Comments (0)