-CR: a Constructive Termination Proof.

Published in: Log. J. IGPL (2003)

Keyphrases

theorem prover
term rewriting
rewrite systems
theorem proving
mathematical proofs
artificial intelligence
evolutionary algorithm
special case
linear logic
real time
website
decision trees
proof planning