23 citations · 85 across the 23 of their papers we have counts for
1 paper · 1 filter
Benedikt Bollig
Visibly pushdown automata are input-driven pushdown automata that recognize some non-regular context-free languages while preserving the nice closure and decidability properties of…