( en | de | ru )

 

Disambiguierung von "Skrzypczak, Michal"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unambiguous Büchi Is Weak.

, und . DLT, Volume 9840 von Lecture Notes in Computer Science, Seite 319-331. Springer, (2016)

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 Succinctness and Recognisability of Alternating Good-for-Games Automata., , , und . CoRR, (2020)Monadic Second Order Logic with Measure and Category Quantifiers., , und . CoRR, (2017)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)Connecting Decidability and Complexity for MSO Logic.. DLT, Volume 10396 von Lecture Notes in Computer Science, Seite 75-79. Springer, (2017)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 the Succinctness of Alternating Parity Good-For-Games Automata., , , und . FSTTCS, Volume 182 von LIPIcs, Seite 41:1-41:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)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)On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets., und . CoRR, (2014)Unambiguous Languages Exhaust the Index Hierarchy.. ICALP, Volume 107 von LIPIcs, Seite 140:1-140:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)