Total Termination of Term Rewriting.

Maria C. F. Ferreira Hans Zantema

Published in: RTA (1993)

Keyphrases

term rewriting
rewrite systems
theorem proving
theorem prover
operational semantics
knuth bendix
databases
artificial intelligence
computational intelligence
language learning