Implementing Term Rewriting by Graph Reduction: Termination of Combined Systems.

Published in: CTRS (1990)

Keyphrases

term rewriting
rewrite systems
theorem proving
operational semantics
theorem prover
graph representation
graph theory
knuth bendix
machine learning
distributed systems
complex systems
social networks
management system
computer systems
first order logic