( en | de | ru )

 

Disambiguierung von "Skrzypczak, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Uniformisations of Regular Relations Over Bi-Infinite Words.

, , und . LICS, Seite 384-396. ACM, (2020)

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

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)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)Monadic Second Order Logic with Measure and Category Quantifiers., , und . CoRR, (2017)The Topological Complexity of MSO+U and Related Automata Models., und . Fundam. Informaticae, 119 (1): 87-111 (2012)Index Problems for Game Automata., , und . ACM Trans. Comput. Log., 17 (4): 24 (2016)On the Strength of Unambiguous Tree Automata., und . Int. J. Found. Comput. Sci., 29 (5): 911-933 (2018)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)Connecting Decidability and Complexity for MSO Logic.. DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 75-79. Springer, (2017)On Succinctness and Recognisability of Alternating Good-for-Games Automata., , , und . CoRR, (2020)