7 citations · 16 across the 10 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2012
First-Order Model Checking on Generalisations of Pushdown Graphs
Alexander Kartzow
We study the first-order model checking problem on two generalisations of pushdown graphs. The first class is the class of nested pushdown trees. The other is the class of collapsi…
math.LO2009★ 3 cited
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
Alexander Kartzow
We show that graphs generated by collapsible pushdown systems of level 2 are tree-automatic. Even when we allow -contractions and add a reachability predicate (with regular cons…