Termination and Confluence of Higher-Order Rewrite Systems.

Frédéric Blanqui

Published in: RTA (2000)

Keyphrases

rewrite systems
higher order
term rewriting
quantifier free
active rules
knuth bendix
pairwise
information systems
theorem proving
active databases
artificial intelligence
software engineering
fine grained
theorem prover