Used together with:
automata
(1)
bisimilar
(1)
pushdown
(1)
Stem
nonelementari$ (
all stems
)
1 papers:
LICS-2013-BenediktGKM
#automaton
#similarity
Bisimilarity of Pushdown Automata is Nonelementary (
MB
,
SG
,
SK
,
ASM
), pp. 488–498.
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
.