The following pages link to (Q3830540):
Displayed 7 items.
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming (Q685465) (← links)
- Recursively indefinite databases (Q688672) (← links)
- Recursive queries and context-free graph grammars (Q753477) (← links)
- The translation power of top-down tree-to-graph transducers (Q1337465) (← links)
- The monadic second-order logic of graphs. I: Recognizable sets of finite graphs (Q2641288) (← links)
- The monadic second-order logic of graphs, II: Infinite graphs of bounded width (Q3470112) (← links)
- A Greibach normal form for context-free graph grammars (Q5204313) (← links)