cl-banner

Automated Termination Analysis for Term Rewriting

Nao Hirokawa

PhD thesis, University of Innsbruck, 2006.

 

  PDF

BibTeX 

@phdthesis{HN06,
author = "Nao Hirokawa",
title = "Automated Termination Analysis for Term Rewriting",
school = "University of Innsbruck",
year = 2006
}
Nach oben scrollen