4 citations · 6 across the 5 of their papers we have counts for
1 paper · 2 filters
Lorenzo Clemente, Paweł Parys, Sylvain Salvati +1
We define a new class of pushdown systems where the pushdown is a tree instead of a word. We allow a limited form of lookahead on the pushdown conforming to a certain ordering rest…