Termination Proofs for Recursive Functions in FoCaLiZe.

Catherine Dubois François Pessaux

Published in: TFP (2015)

Keyphrases

recursive functions
inductive inference
term rewriting
theorem proving
theorem prover
formal proofs
pairwise
equational theories
small number
uniform distribution
rewrite systems