Publication:4729378
From MaRDI portal
zbMath0679.68135MaRDI QIDQ4729378
Publication date: 1988
monadic second-order logic; graph transformations; context-free graph grammars; descriptions of infinite graphs by rewriting rules and by systems of equations; graph rewriting rules; ground rewriting rules
68Q45: Formal languages and automata
68Q65: Abstract data types; algebraic specification
18C05: Equational categories
18C10: Theories (e.g., algebraic theories), structure, and semantics
03C05: Equational classes, universal algebra in model theory
03D03: Thue and Post systems, etc.
18A15: Foundations, relations to logic and deductive systems
Related Items
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