scientific article; zbMATH DE number 4114059
From MaRDI portal
Publication:4729378
zbMath0679.68135MaRDI QIDQ4729378
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monadic second-order logicgraph transformationscontext-free graph grammarsdescriptions of infinite graphs by rewriting rules and by systems of equationsgraph rewriting rulesground rewriting rules
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
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
This page was built for publication: