scientific article; zbMATH DE number 4114059
From MaRDI portal
Publication:4729378
context-free graph grammarsdescriptions of infinite graphs by rewriting rules and by systems of equationsgraph rewriting rulesgraph transformationsground rewriting rulesmonadic second-order logic
Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65)
Recommendations
Cited in
(13)- The string generating power of context-free hypergraph grammars
- A regular characterization of graph languages definable in monadic second-order logic
- Computing with graph rewriting systems with priorities
- Logical and schematic characterization of complexity classes
- Refined Graph Rewriting in Span-Categories
- Graph Transformation by Computational Category Theory
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- scientific article; zbMATH DE number 3926221 (Why is no real title available?)
- scientific article; zbMATH DE number 1995117 (Why is no real title available?)
- scientific article; zbMATH DE number 2016096 (Why is no real title available?)
- Graph Transformations
- Algebraic properties and transformations of monographs
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4729378)
