Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

2 Results for "Dax, Christian Nikolaus"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Alternation Elimination for Automata over Nested Words

Dax, Christian Nikolaus and Klaedtke, Felix (2011)

Reports Reports

2. From temporal logics to automata via alternation elimination

Dax, Christian Nikolaus (2010)

Doctoral and Habilitation Theses