scientific article; zbMATH DE number 4114059
From MaRDI portal
Publication:4729378
monadic second-order logicgraph transformationscontext-free graph grammarsdescriptions of infinite graphs by rewriting rules and by systems of equationsgraph rewriting rulesground rewriting rules
Formal languages and automata (68Q45) Equational classes, universal algebra in model theory (03C05) Thue and Post systems, etc. (03D03) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Foundations, relations to logic and deductive systems (18A15) Equational categories (18C05)
Recommendations
Cited in
(13)- A regular characterization of graph languages definable in monadic second-order logic
- Computing with graph rewriting systems with priorities
- The string generating power of context-free hypergraph grammars
- scientific article; zbMATH DE number 1995117 (Why is no real title available?)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- Logical and schematic characterization of complexity classes
- Graph Transformations
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
- Refined Graph Rewriting in Span-Categories
- Graph Transformation by Computational Category Theory
- Algebraic properties and transformations of monographs
- scientific article; zbMATH DE number 2016096 (Why is no real title available?)
- scientific article; zbMATH DE number 3926221 (Why is no real title available?)
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)
