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

Nutan Limaye, Meena Mahajan, Antoine Meyer

Browse the full CSR paper archive.