Proof Transformation for Non-Compatible Rewriting.

Reinhard Bündgen

Published in: AISMC (1996)

Keyphrases

presburger arithmetic
theorem proving
linear transformation
conjunctive queries
quantifier elimination
rewrite rules
real time
machine learning
search engine
decision procedures
linear logic
rewriting rules
geometry theorem proving