Termination Analysis by Tree Automata Completion

Martin Korp
PhD thesis, University of Innsbruck, 2010.

abstract   BibTeX   PDF