A Formalization of Termination Techniques in Isabelle/HOL

René Thiemann
Habilitation thesis, University of Innsbruck, 2013.

abstract   BibTeX   PDF