- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
21 cm
- Umfang
-
[238] S. in getr. Zählung
- Sprache
-
Deutsch
- Anmerkungen
-
10 graph. Darst.
Literaturangaben
- Erschienen in
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 8603
- Ereignis
-
Veröffentlichung
- (wo)
-
Kiel
- (wer)
-
Inst. für Informatik u. Prakt. Mathematik
- (wann)
-
1986
- Beteiligte Personen und Organisationen
-
Simon, Friedemann
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:19 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Simon, Friedemann
- Inst. für Informatik u. Prakt. Mathematik
Entstanden
- 1986
Ähnliche Objekte (12)
Funktional-logische Programmiersprachen : Semantik und Implementierung
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Die logischen Grundlagen
Funktional-logische Programmiersprachen : Semantik und Implementierung
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Die logischen Grundlagen
Funktional-logische Programmiersprachen : Semantik und Implementierung
Eine verifizierte Implementierung funktional-logischer Programmiersprachen
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Automatische Ausdrucksparallelisierung einer funktional-logischen Programmiersprache
Parallele Implementierung der funktional-logischen Programmiersprache BABEL
Integration funktionaler und logischer Programmiersprachen : Semantik und Implementierung
Zweyter Abschnitt. Vom logischen Sinn und logischen Gefühl
Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen