scientific article
From MaRDI portal
Publication:3959455
zbMath0495.68076MaRDI QIDQ3959455
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (9)
Uniform-modelling in graph grammar specifications ⋮ A Basic Hierarchical Graph Model for Conflict Resolution with Application to Water Diversion Conflicts in China ⋮ Hierarchical modeling of aggregate mining conflict in Ontario, Canada ⋮ Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ Directed recursive labelnode hypergraphs: A new representation-language ⋮ On GS-Monoidal Theories for Graphs with Nesting ⋮ Pair grammars, graph languages and string-to-graph translations ⋮ Transformation of Shaped Nested Graphs and Diagrams1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). ⋮ Hierarchical graph transformation
This page was built for publication:
