Automated termination analysis: from term rewriting to programming languages

  • Vollständige Referenz
  • BibTeX
Giesl, J., (2013). Automated termination analysis: from term rewriting to programming languages. In: Wagner, S. & Lichter, H. (Hrsg.), Software Engineering 2013 - Workshopband. Bonn: Gesellschaft für Informatik e.V.. (S. 21-22).
@inproceedings{mci/Giesl2013,
author = {Giesl, Jürgen},
title = {Automated termination analysis: from term rewriting to programming languages},
booktitle = {Software Engineering 2013 - Workshopband},
year = {2013},
editor = {Wagner, Stefan AND Lichter, Horst} ,
pages = { 21-22 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
21.pdf73.45Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-609-1
ISSN: 1617-5468
Datum: 2013
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige