TU Darmstadt / ULB / TUbiblio

On terminating lemma speculations

Walther, Christoph ; Kolbe, T. :
On terminating lemma speculations.
In: Information and computation, 162 S. 96-116.
[Artikel], (2000)

Typ des Eintrags: Artikel
Erschienen: 2000
Autor(en): Walther, Christoph ; Kolbe, T.
Titel: On terminating lemma speculations
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Information and computation
Band: 162
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen