scientific article
From MaRDI portal
Publication:3785986
zbMath0643.68104MaRDI QIDQ3785986
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Equational logic, Mal'tsev conditions (08B05)
Related Items (8)
The monadic second-order logic of graphs. I: Recognizable sets of finite graphs ⋮ The monadic second-order logic of graphs, II: Infinite graphs of bounded width ⋮ The refinement calculus of reactive systems ⋮ The monadic second-order logic of graphs : Definable sets of finite graphs ⋮ Graph expressions and graph rewritings ⋮ A comparison of boundary graph grammars and context-free hypergraph grammars ⋮ Relational graph rewritings ⋮ Recursive queries and context-free graph grammars
This page was built for publication:
