scientific article; zbMATH DE number 965

MaRDI QIDQ4711083zbMATH OpenFDO

Authors Annegret Habel, Hans-Jörg Kreowski, Walter Vogler

Publication date 25 June 1992

zbMATH Keywords

graph grammarsdecision problemshyperedge-replacementboundedness problem

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• Hyperedge replacement: grammars and languages
• Metatheorems for decision problems on hyperedge replacement graph languages
• scientific article; zbMATH DE number 4087049
• scientific article; zbMATH DE number 809155

Cited in

(17)

• Edge-label controlled graph grammars
• scientific article; zbMATH DE number 4087049 (Why is no real title available?)
• Decision problems for edge grammars
• Hyperedge replacement: grammars and languages
• Least solutions of equations over N
• Nondeterministic operations on finite relational structures
• Metatheorems for decision problems on hyperedge replacement graph languages
• The bounded degree problem for NLC grammars is decidable
• Finite tree automata with cost functions
• Decidability of the finiteness of ranges of tree transductions
• Context-free graph languages of bounded degree are generated by apex graph grammars
• Logical description of context-free graph languages
• The complexity of connectivity problems on context-free graph languages
• Graph-theoretic properties compatible with graph derivations
• A comparison of compatible, finite, and inductive graph properties
• Generation of polynomial-time algorithms for some optimization problems on tree-decomposable graphs
• scientific article; zbMATH DE number 177454 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4711083)