Logo des Repositoriums
 
Konferenzbeitrag

Automated termination analysis: from term rewriting to programming languages

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2013

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beschreibung

Giesl, Jürgen (2013): Automated termination analysis: from term rewriting to programming languages. Software Engineering 2013 - Workshopband. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-609-1. pp. 21-22. Regular Research Papers. Aachen. 26. Februar-1. März 2013

Schlagwörter

Zitierform

DOI

Tags