Automated termination analysis: from term rewriting to programming languages
Author:
- Citation
- 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}
}
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}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-3-88579-609-1
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2013
Language:
(en)

Content Type: Text/Conference Paper