TU Darmstadt / ULB / TUbiblio

Termination analysis for partial functions

Brauburger, Jürgen ; Giesl, J. (1996)
Termination analysis for partial functions.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1996
Autor(en): Brauburger, Jürgen ; Giesl, J.
Art des Eintrags: Bibliographie
Titel: Termination analysis for partial functions
Sprache: Englisch
Publikationsjahr: 1996
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: International Static Analysis Symposium SAS'96 <3, 1996, Aachen, Germany>: Proceedings. - Berlin (u.a.): Springer, 1996. S. 113-127
Band einer Reihe: 1145
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:02
Letzte Änderung: 05 Mär 2013 08:37
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen