Katalog der Deutschen Nationalbibliothek

Expertensuche ?

Wegen geplanter Wartungsarbeiten kann es am 22. Januar 2025 von 7:30 bis 16:00 Uhr zu Einschränkungen beim Zugriff auf unsere Online-Ressourcen und Inhaltsverzeichnisse kommen.
Due to scheduled maintenance on January 22, 2025, access to our online resources and content directories may be temporarily disrupted between 7:30 AM and 4:00 PM.

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

Ergebnis der Suche nach: idn=962069752

Treffer 1 von 1


Link zu diesem Datensatz	https://d-nb.info/962069752
Art des Inhalts	Hochschulschrift
Titel	Reasoning about terminating functional programs / Konrad Slind
Person(en)	Slind, Konrad (Verfasser)
Zeitliche Einordnung	Erscheinungsdatum: 1999
Umfang/Format	ca. 0,4 MB
Andere Ausgabe(n)	Erscheint auch als Druck-Ausgabe: Slind, Konrad: Reasoning about terminating functional programs
Hochschulschrift	München, Techn. Univ., Diss., 1999
Persistent Identifier	URN: urn:nbn:de:bvb:91-diss1999111516455
URL	http://tumb1.biblio.tu-muenchen.de/publ/diss/in/1999/slind.ps
Sprache(n)	Englisch (eng)
Schlagwörter	Funktionale Programmierung ; Terminierung <Informatik> ; Automatisches Beweisverfahren ; Rekursives Programmschema ; Korrektheit ; Formale Methode
Sachgruppe(n)	28 Informatik, Datenverarbeitung

Online-Zugriff

Archivobjekt öffnen

Treffer 1 von 1

Aktionen

MARC21-XML-Repräsentation dieses Datensatzes

Korrekturanfrage

Administration