Descendants and Head Normalization of Higher-Order Rewrite Systems.

Hideto Kasuya Masahiko Sakai Kiyoshi Agusa

Published in: FLOPS (2002)

Keyphrases

rewrite systems
higher order
term rewriting
quantifier free
knuth bendix
active rules
pairwise
theorem prover
theorem proving
operational semantics
data management
fine grained