- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Maße
-
30 cm
- Umfang
-
62 S.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Literaturverz. S. 60 - 62
- Erschienen in
-
Informatik ; Report No. [19]88,4
- Ereignis
-
Veröffentlichung
- (wo)
-
Bremen
- (wer)
-
Fachbereich Mathematik/Informatik, Univ.
- (wann)
-
[1988]
- Urheber
-
Hoffmann, Berthold
Plump, Detlef
- 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:06 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
- Hoffmann, Berthold
- Plump, Detlef
- Fachbereich Mathematik/Informatik, Univ.
Entstanden
- [1988]
Ähnliche Objekte (12)
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Efficient graph rewriting and its implementation
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
A term rewriting technique for decision graphs
Modular properties of composable term rewriting systems
Using SOS definitions in term rewriting proofs
Simulation of transition systems with term rewriting systems
Term rewriting and applications : 16th international conference ; proceedings
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Efficient graph rewriting and its implementation
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
A term rewriting technique for decision graphs
Modular properties of composable term rewriting systems
Using SOS definitions in term rewriting proofs
Simulation of transition systems with term rewriting systems
Term rewriting and applications : 16th international conference ; proceedings
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Simplification orders in term rewriting
Advanced topics in term rewriting
Efficient graph rewriting and its implementation
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
A term rewriting technique for decision graphs
Modular properties of composable term rewriting systems
Using SOS definitions in term rewriting proofs
Simulation of transition systems with term rewriting systems