Travelled to:1 × Estonia
1 × Norway
Collaborated with:∅
Talks about:pushdown (2) exponenti (1) complet (1) collaps (1) doubli (1) altern (1) order (1) model (1) level (1) lemma (1)
Person: Alexander Kartzow
DBLP: Kartzow:Alexander
Contributed to:
2012
2011Wrote 2 papers:
- FoSSaCS-2012-Kartzow #automaton #exponential #first-order #model checking
- First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time (AK), pp. 376–390.
- CSL-2011-Kartzow #automaton #graph
- A Pumping Lemma for Collapsible Pushdown Graphs of Level 2 (AK), pp. 322–336.