Fakultät für Informatik - Technische Universität München Lehrstuhl für Effiziente Algorithmen

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen	Hilfe

Suche: Author="Escard{\'{o}}, Mart{\'{i}}n H{\"o}tzel"

• Induction and recursion on the partial real line with applications to REAL PCF
  Martín Hötzel Escardó, Thomas Streicher
  Theoretical Computer Science 210 (1), 1999, pp. 121-157
• PCF extended with real numbers
  Martín Hötzel Escardó
  Theoretical Computer Science 162 (1), 1996, pp. 79-115