48 citations · 54 across the 5 of their papers we have counts for
1 paper · 1 filter
Matthew Hague, Jonathan Kochems, C. -H. Luke Ong
We show the diagonal problem for higher-order pushdown automata (HOPDA), and hence the simultaneous unboundedness problem, is decidable. From recent work by Zetzsche this means tha…