On the Expressive Power of 2-Stack Visibly Pushdown Automata

Benedikt Bollig. On the Expressive Power of 2-Stack Visibly Pushdown Automata. Logical Methods in Computer Science, 4(4), 2008. [doi]

Abstract

Abstract is missing.