scientific article

zbMath0675.68042MaRDI QIDQ3830540

No author found.

Publication date: 1988

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

zbMATH Keywords

recursive definitionscontext-free graph grammars

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Information storage and retrieval of data (68P20)

Related Items (7)

The translation power of top-down tree-to-graph transducers ⋮ 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 ⋮ Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming ⋮ Recursively indefinite databases ⋮ A Greibach normal form for context-free graph grammars ⋮ Recursive queries and context-free graph grammars

This page was built for publication: