Strict Functionals for Termination Proofs.

Jaco van de Pol Helmut Schwichtenberg

Published in: TLCA (1995)

Keyphrases

term rewriting
theorem proving
theorem prover
special case
higher order
rewrite systems
formal proof
real world
mathematical proofs
database
machine learning
computer vision
website
active rules