Rewrite Systems for Natural, Integral, and Rational Arithmetic.

Evelyne Contejean Claude Marché Landy Rabehasaina

Published in: RTA (1997)

Keyphrases

rewrite systems
quantifier free
term rewriting
first order logic
active rules
theorem prover
knuth bendix
database
quantifier elimination
databases