Alexander Kartzow

Identifiers

• name variant Alexander Kartzow 0.60 · backfill

Papers (11)

1. Model Checking Constraint LTL over Trees cs.LO · 2015 · author #1
2. Satisfiability of ECTL* with tree constraints cs.LO · 2014 · author #3
3. The field of the Reals and the Random Graph are not Finite-Word Ordinal-Automatic cs.FL · 2014 · author #1
4. Reachability in Higher-Order-Counters cs.FL · 2013 · author #2
5. Satisfiability of CTL* with constraints cs.LO · 2013 · author #2
6. Structures Without Scattered-Automatic Presentation cs.FL · 2013 · author #1
7. Collapsible Pushdown Graphs of Level 2 are Tree-Automatic cs.LO · 2013 · author #1
8. First-Order Logic on Higher-Order Nested Pushdown Trees cs.LO · 2012 · author #1
9. First-Order Model Checking on Generalisations of Pushdown Graphs math.LO · 2012 · author #1
10. Strictness of the Collapsible Pushdown Hierarchy cs.FL · 2012 · author #1
11. Collapsible Pushdown Graphs of Level 2 are Tree-Automatic math.LO · 2009 · author #1

Mentions

• 1504.06105 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1412.2905 #3 · backfill · confidence 0.70 Alexander Kartzow
• 1410.5197 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1306.1069 #2 · backfill · confidence 0.70 Alexander Kartzow
• 1306.0814 #2 · backfill · confidence 0.70 Alexander Kartzow
• 1304.0912 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1303.2453 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1202.1980 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1202.0137 #1 · backfill · confidence 0.70 Alexander Kartzow
• 1201.3250 #1 · backfill · confidence 0.70 Alexander Kartzow
• 0912.4110 #1 · backfill · confidence 0.70 Alexander Kartzow

Frequent Coauthors

• Claudia Carapelle 2 shared papers
• Markus Lohrey 2 shared papers
• Alexander Heu{\ss}ner 1 shared papers
• Pawe{\l} Parys 1 shared papers
• Philipp Schlicht 1 shared papers
• Shiguang Feng 1 shared papers
• Thomas Weidner 1 shared papers