- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Dimensions
-
21 cm
- Extent
-
[238] S. in getr. Zählung
- Language
-
Deutsch
- Notes
-
10 graph. Darst.
Literaturangaben
- Bibliographic citation
-
Bericht / Christian-Albrechts-Universität zu Kiel ; Nr. 8603
- Event
-
Veröffentlichung
- (where)
-
Kiel
- (who)
-
Inst. für Informatik u. Prakt. Mathematik
- (when)
-
1986
- Contributor
-
Simon, Friedemann
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
- 11.06.2025, 12:19 PM UTC
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Simon, Friedemann
- Inst. für Informatik u. Prakt. Mathematik
Time of origin
- 1986
Other Objects (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
Zur logischen Frage
Die logischen Grundlagen
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
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
Zur logischen Frage
Die logischen Grundlagen
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen
Entwurf, formale Definition und Implementierung der funktional-logischen Programmiersprache ET
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
Zur logischen Frage
Die logischen Grundlagen
Funktionale Berechnung in einem uniform nebenläufigen Kalkül mit logischen Variablen