On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata

Nutan Limaye, Meena Mahajan, Antoine Meyer. On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata. In Edward A. Hirsch, Alexander A. Razborov, Alexei L. Semenov, Anatol Slissenko, editors, Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings. Volume 5010 of Lecture Notes in Computer Science, pages 240-251, Springer, 2008. [doi]

Authors

Nutan Limaye

This author has not been identified. Look up 'Nutan Limaye' in Google

Meena Mahajan

This author has not been identified. Look up 'Meena Mahajan' in Google

Antoine Meyer

This author has not been identified. Look up 'Antoine Meyer' in Google