Proof-Theoretic Techniques for Term Rewriting Theory

Nachum Dershowitz Mitsuhiro Okada

Published in: LICS (1988)

Keyphrases

proof theoretic
term rewriting
proof theory
model theoretic
operational semantics
nonmonotonic reasoning
theorem proving
rewrite systems
knuth bendix
linear logic
constraint logic programming
default reasoning
theorem prover
fixpoint
data model
artificial intelligence
databases
database
cut elimination