BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kartzow:Alexander

Contributed to:

FOSSACS 20122012
CSL 20112011

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.