Mikołaj Bojańczyk | DeepAI

AI Chat

Featured Co-authors

Michał Pilipczuk
62 publications
Martin Grohe
52 publications
Georg Zetzsche
14 publications
Sandra Kiefer
11 publications
Edon Kelmendi
7 publications
Bartek Klin
5 publications
Laure Daviaud
5 publications
Vincent Penelle
2 publications
Bruno Guillon
2 publications
A. V. Sreejith
2 publications
Nathan Lhote
2 publications

∙ 05/29/2023

The category of MSO transductions

MSO transductions are binary relations between structures which are defi...

0 Mikołaj Bojańczyk, et al. ∙

∙ 01/12/2023

Folding interpretations

We study the polyregular string-to-string functions, which are certain f...

0 Mikołaj Bojańczyk, et al. ∙

∙ 12/22/2022

On the growth rate of polyregular functions

We consider polyregular functions, which are certain string-to-string fu...

0 Mikołaj Bojańczyk, et al. ∙

∙ 01/24/2022

Monadic Monadic Second Order Logic

One of the main reasons for the correspondence of regular languages and ...

0 Mikołaj Bojańczyk, et al. ∙

∙ 07/29/2021

Separator logic and star-free expressions for graphs

We describe two formalisms for defining graph languages, and prove that ...

0 Mikołaj Bojańczyk, et al. ∙

∙ 02/21/2020

Extensions of ω-Regular Languages

We consider extensions of monadic second order logic over ω-words, which...

0 Mikołaj Bojańczyk, et al. ∙

∙ 05/30/2019

String-to-String Interpretations with Polynomial-Size Output

String-to-string MSO interpretations are like Courcelle's MSO transducti...

0 Mikołaj Bojańczyk, et al. ∙

∙ 01/21/2019

MSO+nabla is undecidable

This paper is about an extension of monadic second-order logic over infi...

0 Mikołaj Bojańczyk, et al. ∙

∙ 07/23/2018

Undecidability of MSO+"ultimately periodic"

We prove that MSO on ω-words becomes undecidable if allowing to quantify...

0 Mikołaj Bojańczyk, et al. ∙

∙ 04/25/2018

Two monads for graphs

An introduction to algebras for graphs, based on Courcelle's algebras of...

0 Mikołaj Bojańczyk, et al. ∙

∙ 03/15/2018

Definable decompositions for graphs of bounded linear cliquewidth

We prove that for every positive integer k, there exists an MSO_1-transd...

0 Mikołaj Bojańczyk, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world