The following pages link to (Q4729378):
Displayed 4 items.
- The string generating power of context-free hypergraph grammars (Q1176107) (← links)
- A regular characterization of graph languages definable in monadic second-order logic (Q1177179) (← links)
- Computing with graph rewriting systems with priorities (Q1261464) (← links)
- Logical and schematic characterization of complexity classes (Q1323362) (← links)