48 citations · 174 across the 34 of their papers we have counts for
1 paper · 1 filter
Matthew Hague, C. -H. Luke Ong
Higher-order pushdown systems (PDSs) generalise pushdown systems through the use of higher-order stacks, that is, a nested "stack of stacks" structure. These systems may be used to…