[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten 30.04.2025: Die Lesesäle im Hauptgebäude der Deutschen Nationalbibliothek in Leipzig schließen wegen einer Veranstaltung um 14 Uhr. Der Museums- und der Musiklesesaal sowie der Servicebereich sind bis 18 Uhr geöffnet. Die Ausstellungen des Deutschen Buch- und Schriftmuseums sind von 10 bis 18 Uhr geöffnet. // The reading rooms in the main building of the German National Library in Leipzig will close at 14:00 due to an event. The museum reading room, the music reading room and the service area are open until 18.00. The exhibitions of the German Museum of Books and Writing will open from 10:00 to 18:00.
 
 

Ergebnis der Suche nach: idn=978843266



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/978843266
Art des Inhalts Hochschulschrift
Titel A non-deterministic call-by-need lambda calculus : proving similarity a precongruence by an extension of Howe's method to sharing / von Matthias Mann
Person(en) Mann, Matthias (Verfasser)
Zeitliche Einordnung Erscheinungsdatum: 2005
Umfang/Format XII, 182 S. : graph. Darst. ; 30 cm
Andere Ausgabe(n) Erscheint auch als Online-Ausgabe: Mann, Matthias: A non-deterministic call-by-need lambda calculus
Hochschulschrift Frankfurt (Main), Univ., Diss., 2005
Sprache(n) Englisch (eng)
Schlagwörter Lambda-Kalkül ; Nichtdeterminismus
DDC-Notation 511.35 [DDC22ger]
Sachgruppe(n) 510 Mathematik ; 004 Informatik

Frankfurt Signatur: 2006 B 12242
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Frankfurt
Leipzig Signatur: 2006 B 8336
Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.]
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <


E-Mail-IconAdministration