E-LIB Suche - Ergebnisse für: Bojańczyk, Mikołaj

1

Rank-decreasing transductions:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojańczyk, Mikołaj ; Ohlmann, Pierre - p. 1-13 , 2024

Link: https://dl.acm.org/doi/1..

2

Polyregular Functions on Unordered Trees of Bounded Height:

Bojańczyk, Mikołaj ; Klin, Bartek
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1326-1351 , 2024

Link: https://doi.org/10.1145/..

3

On the Growth Rates of Polyregular Functions:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Bojanczyk, Mikolaj - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

4

Monadic Monadic Second Order Logic:

, In: Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic,

Bojańczyk, Mikołaj ; Klin, Bartek ; Salamanca, Julian - p. 701-754 , 2023

Link: https://doi.org/10.1007/..

5

Folding interpretations:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Bojanczyk, Mikolaj - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

6

Transducers of polynomial growth:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojanczyk, Mikolaj - p. 1-27 , 2022

Link: https://dl.acm.org/doi/1..

7

Optimizing tree decompositions in MSO:

Bojańczyk, Mikołaj ; Pilipczuk, Michał
Logical Methods in Computer Science. 18, Issue 1 (2022) - p. , 2022

Link: https://doi.org/10.46298..

8

Preface:

Bojańczyk, Mikołaj ; Brihaye, Thomas ; Haase, Christoph...
Information and Computation. 277 (2021) - p. 104579 , 2021

Link: https://doi.org/10.1016/..

9

Orbit-finite-dimensional vector spaces and weighted registe..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojańczyk, Mikołaj ; Klin, Bartek ; Moerman, Joshua - p. 1-13 , 2021

Link: https://dl.acm.org/doi/1..

10

Extensions of ω-Regular Languages:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojańczyk, Mikołaj ; Kelmendi, Edon ; Stefański, Rafał. - p. 266-272 , 2020

Link: https://dl.acm.org/doi/1..

11

First-order tree-to-tree functions:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojańczyk, Mikołaj ; Doumane, Amina - p. 252-265 , 2020

Link: https://dl.acm.org/doi/1..

12

The Hilbert method for transducer equivalence:

Bojańczyk, Mikołaj
ACM SIGLOG News. 6 (2019) 1 - p. 5-17 , 2019

Link: https://dl.acm.org/doi/1..

13

Foundations of Software Science and Computation Structures:..

Theoretical Computer Science and General Issues, 11425

Bojańczyk, Mikołaj ; Simpson, Alex - 1st ed. 2019 . , 2019

Link: https://doi.org/10.1007/..

14

Automata Column:

Bojańczyk, Mikołaj
ACM SIGLOG News. 6 (2019) 1 - p. 4 ff. , 2019

Link: https://dl.acm.org/doi/1..

15

MSO+∇ is undecidable:

, In: Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bojańczyk, Mikołaj ; Kelmendi, Edon ; Skrzypczak, Michał - p. 1-13 , 2019

Link: https://dl.acm.org/doi/1..