- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Paper presented at: The International Workshop on Computing with Terms and Graphs 9 (2009)
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Konstanz
- (wer)
-
Bibliothek der Universität Konstanz
- (wann)
-
2010
- Urheber
-
Badban, Bahareh
- URN
-
urn:nbn:de:bsz:352-opus-105985
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:41 MEZ
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
- Badban, Bahareh
- Bibliothek der Universität Konstanz
Entstanden
- 2010
Ähnliche Objekte (12)
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Advanced topics in term rewriting
Simplification orders in term rewriting
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
Jungle evaluation for efficient term rewriting
Infinite graphs generated by tree rewriting
A Compass to Controlled Graph Rewriting
Efficient graph rewriting and its implementation
Infinite graphs generated by tree rewriting
Using SOS definitions in term rewriting proofs
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Advanced topics in term rewriting
Simplification orders in term rewriting
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
Jungle evaluation for efficient term rewriting
Infinite graphs generated by tree rewriting
A Compass to Controlled Graph Rewriting
Efficient graph rewriting and its implementation
Infinite graphs generated by tree rewriting
Using SOS definitions in term rewriting proofs
Termersetzungssysteme : Term Rewriting
Term rewriting : advanced course
Advanced topics in term rewriting
Simplification orders in term rewriting
Property analysis of term rewriting systems
Parallelizing functional programs by term rewriting
Jungle evaluation for efficient term rewriting
Infinite graphs generated by tree rewriting
A Compass to Controlled Graph Rewriting
Efficient graph rewriting and its implementation
Infinite graphs generated by tree rewriting