Sciweavers

CADE
2009
Springer
15 years 1 months 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 possibilit...
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier