Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems

Frédéric Blanqui Colin Riba

Published in: CoRR (2006)

Keyphrases

rewrite systems
quantifier free
higher order
term rewriting
active rules
knuth bendix
theorem proving
pairwise
theorem prover
consistency checking
operational semantics
databases
information systems
active databases