On state-alternating context-free grammars
Theoretical Computer Science
Conjunctive Grammars and Alternating Pushdown Automata
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
On Alternating Phrase-Structure Grammars
Language and Automata Theory and Applications
Two Ways of Introducing Alternation into Context-Free Grammars and Pushdown Automata
IEICE - Transactions on Information and Systems
Formal language constrained reachability and model checking propositional dynamic logics
RP'11 Proceedings of the 5th international conference on Reachability problems
Hi-index | 5.23 |