scientific article
From MaRDI portal
Publication:3830540
zbMath0675.68042MaRDI QIDQ3830540
Publication date: 1988
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) 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:
