Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc140302, author = {Nutan Limaye and Meena Mahajan and Antoine Meyer}, title = {On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata}, journal = jalc, year = 2009, volume = 14, number = {3/4}, pages = {211--235} }