Automatic Certification of Termination Proofs

Christian Sternagel
PhD thesis, University of Innsbruck, 2010.

abstract   BibTeX   PDF