Login / Signup
Automation of Recursive Path Ordering for Infinite Labelled Rewrite Systems.
Adam Koprowski
Hans Zantema
Published in:
IJCAR (2006)
Keyphrases
</>
rewrite systems
knuth bendix
term rewriting
quantifier free
active rules
shortest path
theorem proving
databases
multi agent systems
expert systems
theorem prover
active databases
real numbers