Deriving graphs from graphs by applying a production

DOI10.1007/BF00289616zbMath0299.68054MaRDI QIDQ1215276

Barry K. Rosen

Publication date: 1975

Published in: Acta Informatica (Search for Journal in Brave)

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Directed graphs (digraphs), tournaments (05C20) Algorithms in computer science (68W99)

Related Items

Applicability of a production in a categorical grammar, Parallelism and concurrency of graph manipulations, Introduction to graph grammars with applications to semantic networks, Unnamed Item, Processes of transforming structures, Foundations of rule-based design of modular systems, Confluence for graph transformations, Graph grammars and applications to specialization and evolution in biology, Étude syntaxique de certains langages solutions d'équations avec opérateurs, On structured graph grammars. I, Amalgamation of graph transformations: a synchronization mechanism, Restrictions on NLC graph grammars

Cites Work

• Characterization of flowchartable recursions
• Stream Processing Functions
• Inductive methods for proving properties of programs
• Heterogeneous algebras
• Depth-First Search and Linear Graph Algorithms
• Tree-Manipulating Systems and Church-Rosser Theorems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item