Measure properties of regular sets of trees
Gogacz, Tomasz, Michalewski, Henryk, Mio, Matteo, Skrzypczak, Michał
Published in Information and computation (01.10.2017)
Published in Information and computation (01.10.2017)
Get full text
Journal Article
Monadic Second Order Logic with Measure and Category Quantifiers
Mio, Matteo, Skrzypczak, Micha L, Michalewski, Henryk
Published in Logical methods in computer science (01.01.2018)
Published in Logical methods in computer science (01.01.2018)
Get full text
Journal Article
Regular tree languages in low levels of the Wadge Hierarchy
Mikołaj Bojańczyk, Filippo Cavallari, Thomas Place, Michał Skrzypczak
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
The Probabilistic Rabin Tree Theorem
Niwinski, Damian, Parys, Pawel, Skrzypczak, Michal
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Published in 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (26.06.2023)
Get full text
Conference Proceeding
Regular Languages of Thin Trees
Idziaszek, Tomasz, Skrzypczak, Michał, Bojańczyk, Mikołaj
Published in Theory of computing systems (01.05.2016)
Published in Theory of computing systems (01.05.2016)
Get full text
Journal Article
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
Facchini, Alessandro, Murlak, Filip, Skrzypczak, Michał
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (01.06.2013)
Get full text
Conference Proceeding
MSO+∇ is undecidable
Bojanczyk, Mikolaj, Kelmendi, Edon, Skrzypczak, Michal
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Published in 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.06.2019)
Get full text
Conference Proceeding