On Formalised Proofs of Termination of Recursive Functions.

Fairouz Kamareddine François Monin

Published in: PPDP (1999)

Keyphrases

recursive functions
inductive inference
term rewriting
theorem proving
theorem prover
equational theories
mathematical proofs
rewrite systems
active rules
small number
type checking
formal proof
training data
formal proofs