A Proof of Weak Termination Providing the Right Way to Terminate.

Olivier Fissore Isabelle Gnaedig Hélène Kirchner

Published in: ICTAC (2004)

Keyphrases

real time
theorem prover
linear logic
decision trees
face recognition
computational complexity
preprocessing
multiresolution
theorem proving
mathematical proofs