Used together with:
complet
(1)
multi
(1)
automata
(1)
empti
(1)
pushdown
(1)
Stem
etim$ (
all stems
)
1 papers:
DLT-2008-AtigBH
#automaton
#multi
Emptiness of Multi-pushdown Automata Is 2ETIME-Complete (
MFA
,
BB
,
PH
), pp. 121–133.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.