The following pages link to Christian Dax (Q977175):
Displayed 8 items.
- On regular temporal logics with past (Q977176) (← links)
- (Q2849561) (← links)
- Alternation Elimination for Automata over Nested Words (Q3000607) (← links)
- Mechanizing the Powerset Construction for Restricted Classes of ω-Automata (Q3510798) (← links)
- On Regular Temporal Logics with Past, (Q3638094) (← links)
- Specification Languages for Stutter-Invariant Regular Properties (Q3648702) (← links)
- A Proof System for the Linear Time μ-Calculus (Q5385992) (← links)
- Alternation Elimination by Complementation (Extended Abstract) (Q5505555) (← links)