Efficient Graph Rewriting and its Implementation
| Main Author: | Dorr, Heiko (Author) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Springer-Verlag
c1995
|
| Series: | Lecture Notes in Computer Science / G. Goos and J. Hartmanis
922 |
| Subjects: |
Similar Items
-
Rewriting techniques and applications [Proceedings of the 1rst international conference] Dijon, France, May 20-22, 1985
Published: (1985) -
Complexity and structure
by: Schöning, Uwe, 1955-
Published: (1986) -
Advances in petri nets 1985 [Procedings of the 6th European Workshop on applications and theory of Petri Nets. Espoo, Finland, June, 1985]
Published: (1986) -
The spine of software A mathematical introduction to the semantics of computer programs
by: Baber, Robert L.
Published: (1987) -
Temporal logics and their applications
Published: (1987)