Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.

Eddy Bevers Johan Lewi

Published in: Acta Informatica (1993)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
natural language
theorem prover
active databases
operational semantics
artificial intelligence
relational databases
conditional probabilities