( en | de | ru )

 

Disambiguierung von "Klaedtke, Felix"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity.

, , und . Theor. Comput. Sci., (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Felix Christopher Klaedtke

Andreas Klaedtke

Ulrich Klaedtke

Werner Felix

Josef Felixberger

 

Weitere Publikationen von Autoren mit dem selben Namen

Runtime Verification over Out-of-order Streams., , und . CoRR, (2019)Decision Procedure for an Extension of WS1S.. CSL, Volume 2142 von Lecture Notes in Computer Science, Seite 384-398. Springer, (2001)Monitoring First-order Temporal Properties.. TABLEAUX (Workshops, Tutorials, and Short Papers), Volume IAM-11-002 von Technical Report, Seite 6. (2011)First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014., , , , , , , , , und 5 andere Autor(en). Int. J. Softw. Tools Technol. Transf., 21 (1): 31-70 (2019)A Security Architecture for 5G Networks., , , , , , , , , und 5 andere Autor(en). IEEE Access, (2018)Bounds on the Automata Size for Presburger Arithmetic. CoRR, (2005)Alternation Elimination by Complementation (Extended Abstract)., und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 214-229. Springer, (2008)Ehrenfeucht-Fraïssé Goes Automatic for Real Addition.. STACS, Volume 1 von LIPIcs, Seite 445-456. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted Connectivity, , und . GandALF, Volume 96 von EPTCS, Seite 113-126. (2012)Complementation of Büchi Automata Using Alternation.. Automata, Logics, and Infinite Games, Volume 2500 von Lecture Notes in Computer Science, Seite 61-78. Springer, (2001)