TU Darmstadt / ULB / TUbiblio

On Proving the Termination of Algorithms by Machine

Walther, Christoph (1994)
On Proving the Termination of Algorithms by Machine.
In: Artificial Intelligence, 71 (1)
doi: 10.1016/0004-3702(94)90063-9
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 1994
Autor(en): Walther, Christoph
Art des Eintrags: Bibliographie
Titel: On Proving the Termination of Algorithms by Machine
Sprache: Englisch
Publikationsjahr: November 1994
Verlag: Elsevier
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Artificial Intelligence
Jahrgang/Volume einer Zeitschrift: 71
(Heft-)Nummer: 1
DOI: 10.1016/0004-3702(94)90063-9
URL / URN: https://www.sciencedirect.com/science/article/abs/pii/000437...
Zugehörige Links:
Zusätzliche Informationen:

https://doi.org/10.1016/0004-3702(94)90063-9

Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 23 Mär 2020 09:56
Letzte Änderung: 23 Mär 2020 09:56
PPN:
Zugehörige Links:
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