Login / Signup
The Termination Hierarchy for Term Rewriting.
Hans Zantema
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