Christian Dax
From MaRDI portal
Person:977175
Available identifiers
zbMath Open dax.christianMaRDI QIDQ977175
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
https://portal.mardi4nfdi.de/entity/Q2849561 | 2013-09-20 | Paper |
Alternation Elimination for Automata over Nested Words | 2011-05-19 | Paper |
On regular temporal logics with past | 2010-06-21 | Paper |
Specification Languages for Stutter-Invariant Regular Properties | 2009-12-01 | Paper |
On Regular Temporal Logics with Past, | 2009-07-14 | Paper |
Alternation Elimination by Complementation (Extended Abstract) | 2009-01-27 | Paper |
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata | 2008-07-03 | Paper |
A Proof System for the Linear Time μ-Calculus | 2008-04-17 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Christian Dax