TU Darmstadt / ULB / TUbiblio

Induction and recursion on the partial real line with applications to Real PCF

Escardó, M. H. ; Streicher, Thomas (1999)
Induction and recursion on the partial real line with applications to Real PCF.
In: Theoretical computer science, 210
Artikel, Bibliographie

Typ des Eintrags: Artikel
Erschienen: 1999
Autor(en): Escardó, M. H. ; Streicher, Thomas
Art des Eintrags: Bibliographie
Titel: Induction and recursion on the partial real line with applications to Real PCF
Sprache: Englisch
Publikationsjahr: 1999
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Theoretical computer science
Jahrgang/Volume einer Zeitschrift: 210
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 19 Nov 2008 16:21
Letzte Änderung: 20 Feb 2020 13:28
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