Termination Proofs for Higher-order Rewrite Systems.

Jaco van de Pol

Published in: HOA (1993)

Keyphrases

rewrite systems
higher order
term rewriting
theorem prover
theorem proving
quantifier free
knuth bendix
active rules
pairwise
first order logic
inference rules
information systems
databases
operational semantics
data flow