scientific article

zbMath0643.68104MaRDI QIDQ3785986

No author found.

Publication date: 1987

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

many-sorted algebraGraph rewriting systemsgraph expressiongraph expressions

Mathematics Subject Classification ID

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: