( en | de | ru )

 

Disambiguierung von "Skrzypczak, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Büchi VASS recognise w-languages that are Sigma^1_1 - complete.

. CoRR, (2017)

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.

Jörg Skrzypczak

Leszek Skrzypczak

Jörg Skrzypczak

Ulrich Skrzypczak

Ingrid Skrzypczak

 

Weitere Publikationen von Autoren mit dem selben Namen

Uniformisation Gives the Full Strength of Regular Languages., , und . MFCS, Volume 138 von LIPIcs, Seite 61:1-61:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)The Topological Complexity of MSO+U and Related Automata Models., und . Fundam. Informaticae, 119 (1): 87-111 (2012)Monadic Second Order Logic with Measure and Category Quantifiers., , und . CoRR, (2017)On the Strength of Unambiguous Tree Automata., und . Int. J. Found. Comput. Sci., 29 (5): 911-933 (2018)Index Problems for Game Automata., , und . ACM Trans. Comput. Log., 17 (4): 24 (2016)On the Topological Complexity of MSO+U and Related Automata Models., , und . MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 429-440. Springer, (2010)Connecting Decidability and Complexity for MSO Logic.. DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 75-79. Springer, (2017)On the Complexity of Branching Games with Regular Conditions., und . MFCS, Volume 58 von LIPIcs, Seite 78:1-78:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Unambiguity and uniformization problems on infinite trees., und . CSL, Volume 23 von LIPIcs, Seite 81-100. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)On Succinctness and Recognisability of Alternating Good-for-Games Automata., , , und . CoRR, (2020)