- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
In: Paper presented at: The International Workshop on Computing with Terms and Graphs 9 (2009)
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Konstanz
- (who)
-
Bibliothek der Universität Konstanz
- (when)
-
2010
- Creator
-
Badban, Bahareh
- URN
-
urn:nbn:de:bsz:352-opus-105985
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM CET
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
- Badban, Bahareh
- Bibliothek der Universität Konstanz
Time of origin
- 2010
Other Objects (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