Pages that link to "Item:Q1193905"
From MaRDI portal
The following pages link to A characterization of exponential-time languages by alternating context- free grammars (Q1193905):
Displaying 6 items.
- Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967) (← links)
- On state-alternating context-free grammars (Q557822) (← links)
- Model checking propositional dynamic logic with all extras (Q2494725) (← links)
- Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition (Q2842604) (← links)
- On Alternating Phrase-Structure Grammars (Q3540130) (← links)
- ON ALTERNATING PHRASE-STRUCTURE GRAMMARS (Q5187849) (← links)