Verifying Polytime Computability Automatically

Martin Avanzini
PhD thesis, University of Innsbruck, 2013.

abstract   BibTeX   PDF