Induzierte Korrektheit parametrisierter algebraischer Spezifikationen unter Anwendung kategorieller Methoden
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
137 Bl.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
- Erschienen in
-
Bericht / Technische Universität Berlin ; 85,13 : Institut für Software und Theoretische Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Techn. Univ., Fachbereich 20
- (wann)
-
1985
- Urheber
-
Rieckhoff, Catharina
- 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:10 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
- Rieckhoff, Catharina
- Techn. Univ., Fachbereich 20
Entstanden
- 1985
Ähnliche Objekte (12)
Anwendung algebraischer Methoden
Moderne Anwendungen algebraischer Methoden
Endliche Implementierung algebraischer Spezifikationen
Anwendung algebraischer Methoden bei der Systematischen Algorithmierung
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Über eine mögliche Anwendung nichtassoziativer algebraischer Methoden in der Elementarteilchentheorie
Dimension algebraischer Varietäten und numerische Methoden
Algebraischer Gegensatz
Anwendung algebraischer Methoden
Moderne Anwendungen algebraischer Methoden
Endliche Implementierung algebraischer Spezifikationen
Anwendung algebraischer Methoden bei der Systematischen Algorithmierung
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Über eine mögliche Anwendung nichtassoziativer algebraischer Methoden in der Elementarteilchentheorie
Dimension algebraischer Varietäten und numerische Methoden
Algebraischer Gegensatz
Anwendung algebraischer Methoden
Moderne Anwendungen algebraischer Methoden
Endliche Implementierung algebraischer Spezifikationen
Anwendung algebraischer Methoden bei der Systematischen Algorithmierung
Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen
Ansätze zur Compilation algebraischer Spezifikationen und Termersetzungssystemen
Ein algebraischer Ansatz zur Spezifikation von Wächterobjekten
Termersetzungssysteme : Grundlagen der Prototyp-Generierung algebraischer Spezifikationen
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
Über eine mögliche Anwendung nichtassoziativer algebraischer Methoden in der Elementarteilchentheorie
Dimension algebraischer Varietäten und numerische Methoden