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 × Greece
2 × Germany
Collaborated with:
F.Klaedtke M.Lange B.Becker J.Eisinger
Talks about:
constraint (1) automata (1) arithmet (1) regular (1) tempor (1) linear (1) elimin (1) altern (1) logic (1) integ (1)

Person: Christian Dax

DBLP DBLP: Dax:Christian

Contributed to:

FOSSACS 20112011
ICALP (2) 20092009
CAV 20072007

Wrote 3 papers:

FoSSaCS-2011-DaxK #automaton #word
Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.
ICALP-v2-2009-DaxKL #logic #on the
On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.
CAV-2007-BeckerDEK #constraints #integer #linear #named
LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.

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.