Turing Machines with Atoms
Bojanczyk, Mikołaj, Klin, Bartek, Lasota, Sławomir, Torunczyk, Szymon
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
On the Growth Rates of Polyregular Functions
Bojanczyk, Mikolaj
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
Folding interpretations
Bojanczyk, Mikolaj
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
Star Height via Games
Bojanczyk, Mikolaj
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)
Get full text
Conference Proceeding
Wreath Products of Forest Algebras, with Applications to Tree Logics
Bojanczyk, Mikolaj, Walukiewicz, Igor, Straubing, Howard
Published in Logical methods in computer science (19.09.2012)
Published in Logical methods in computer science (19.09.2012)
Get full text
Journal Article
Automata theory in nominal sets
Bojańczyk, Mikołaj, Klin, Bartek, Lasota, Sławomir
Published in Logical methods in computer science (15.08.2014)
Published in Logical methods in computer science (15.08.2014)
Get full text
Journal Article
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
Definability equals recognizability for graphs of bounded treewidth
Bojanczyk, Mikolaj, Pilipczuk, Michal
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Get full text
Published in 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (01.07.2016)
Conference Proceeding
Polyregular Functions on Unordered Trees of Bounded Height
Bojańczyk, Mikołaj, Klin, Bartek
Published in Proceedings of ACM on programming languages (05.01.2024)
Published in Proceedings of ACM on programming languages (05.01.2024)
Get full text
Journal Article
Definable decompositions for graphs of bounded linear cliquewidth
Mikołaj Bojańczyk, Martin Grohe, Michał Pilipczuk
Published in Logical methods in computer science (01.01.2021)
Published in Logical methods in computer science (01.01.2021)
Get full text
Journal Article
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
Bojanczyk, Mikolaj, Klin, Bartek, Moerman, Joshua
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding