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