Modularity of Termination for Disjoint Term Graph Rewrite Systems: A Simple Proof.

Published in: Bull. EATCS (1998)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
theorem proving
artificial intelligence
fine grained