The Termination Hierarchy for Term Rewriting.

Published in: Appl. Algebra Eng. Commun. Comput. (2001)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover

operational semantics
knuth bendix
hierarchical structure
databases

cooperative
knowledge representation
database systems
expert systems

relational databases
data model
higher level
integrity constraints