Certification of Termination Proofs Using CeTA.

René Thiemann Christian Sternagel

Published in: TPHOLs (2009)

Keyphrases

term rewriting
theorem proving
theorem prover
third party
rewrite systems
formal proof
natural deduction
termination analysis
database management
computer programs
decision procedures
database administration
term rewrite systems
formal proofs
data sets
multi agent
multiscale
real world