Lecture Notes in Informatics
Software Engineering 2013 - Workshopband P-215, 21-22 (2013).
Gesellschaft für Informatik, Bonn
2013
Copyright © Gesellschaft für Informatik, Bonn
Contents
Home
>
Vol P-215 (2013)
Automated termination analysis: from term rewriting to programming languages
Jürgen Giesl
Full Text:
PDF
Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-609-1
Last changed 04.10.2013 18:38:59
