The following pages link to (Q3785988):
Displayed 28 items.
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Recursively indefinite databases (Q688672) (← links)
- Modular tree transducers (Q807012) (← links)
- Undecidability of the bandwidth problem on linear graph languages (Q908714) (← links)
- Metatheorems for decision problems on hyperedge replacement graph languages (Q1121675) (← links)
- Power properties of NLC graph grammars with a polynomial membership problem (Q1129012) (← links)
- Algorithms for graph problems on BNLC structured garphs (Q1175948) (← links)
- The string generating power of context-free hypergraph grammars (Q1176107) (← links)
- The monadic second-order logic of graphs. V: On closing the gap between definability and recognizability (Q1176232) (← links)
- The monadic second-order logic of graphs. VII: Graphs as relational structures (Q1193407) (← links)
- Context-free hypergraph grammars have the same term-generating power as attribute grammars (Q1199703) (← links)
- Lyndon trees (Q1202932) (← links)
- The equivalence of bottom-up and top-down tree-to-graph transducers (Q1271618) (← links)
- A partial k-arboretum of graphs with bounded treewidth (Q1274912) (← links)
- Hypergraph languages of bounded degree (Q1318469) (← links)
- Monadic second-order definable graph transductions: a survey (Q1325847) (← links)
- The monadic second order logic of graphs. VI: On several representations of graphs by relational structures (Q1336623) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- Context-free graph languages of bounded degree are generated by apex graph grammars (Q1338891) (← links)
- Synthesized and inherited functions. A new computational model for syntax-directed semantics (Q1338894) (← links)
- Logical description of context-free graph languages (Q1384534) (← links)
- Generating irregular partitionable data structures (Q1575237) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- Handle-rewriting hypergraph grammars (Q2366278) (← links)
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs (Q2641288) (← links)
- Selected Decision Problems for Square-Refinement Collage Grammars (Q3098030) (← links)
- The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues (Q4012672) (← links)