Tess ) Neurauter, Friedrich: Termination analysis of term rewriting by polynomial interpretations and matrix interpretations. - Innsbruck : Univ. Press, 2013. - X, 162 S. : graph. Darst. ( Kollat: X, 162 S. : graph. Darst.)(Thesis series)
Literaturverz. S. 133 - 138. - Zugl.: Innsbruck, Univ., Diss., 2012
ISBN: 978-3-902936-14-1
Sign.: II A-37.964 * Inv.Nr.: 512.326 * Standort: Magazin