 | 2012 |
|---|
| 9 |       | Alexander Kartzow,
Jiamou Liu,
Markus Lohrey:
Tree-Automatic Well-Founded Trees.
CiE 2012: 363-373 |
| 8 | | Alexander Kartzow:
First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time.
FoSSaCS 2012: 376-390 |
| 7 | | Alexander Kartzow,
Pawel Parys:
Strictness of the Collapsible Pushdown Hierarchy
CoRR abs/1201.3250: (2012) |
| 6 | | Alexander Kartzow,
Jiamou Liu,
Markus Lohrey:
Tree-Automatic Well-Founded Trees
CoRR abs/1201.5495: (2012) |
| 5 | | Alexander Kartzow:
First-Order Model Checking on Generalisations of Pushdown Graphs
CoRR abs/1202.0137: (2012) |
| 4 | | Alexander Kartzow:
First-Order Logic on Higher-Order Nested Pushdown Trees
CoRR abs/1202.1980: (2012) |
| 2011 |
|---|
| 3 | | Alexander Kartzow:
A Pumping Lemma for Collapsible Pushdown Graphs of Level 2.
CSL 2011: 322-336 |
| 2010 |
|---|
| 2 | | Alexander Kartzow:
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic.
STACS 2010: 501-512 |
| 2009 |
|---|
| 1 | | Alexander Kartzow:
FO Model Checking on Nested Pushdown Trees.
MFCS 2009: 451-463 |
Data released under the ODC-BY 1.0 license — See also our legal information page