research
∙
05/29/2023
The category of MSO transductions
MSO transductions are binary relations between structures which are defi...
share
research
∙
01/12/2023
Folding interpretations
We study the polyregular string-to-string functions, which are certain f...
research
∙
12/22/2022
On the growth rate of polyregular functions
We consider polyregular functions, which are certain string-to-string fu...
research
∙
01/24/2022
Monadic Monadic Second Order Logic
One of the main reasons for the correspondence of regular languages and ...
research
∙
07/29/2021
Separator logic and star-free expressions for graphs
We describe two formalisms for defining graph languages, and prove that ...
research
∙
02/21/2020
Extensions of ω-Regular Languages
We consider extensions of monadic second order logic over ω-words, which...
research
∙
05/30/2019
String-to-String Interpretations with Polynomial-Size Output
String-to-string MSO interpretations are like Courcelle's MSO transducti...
research
∙
01/21/2019
MSO+nabla is undecidable
This paper is about an extension of monadic second-order logic over infi...
research
∙
07/23/2018
Undecidability of MSO+"ultimately periodic"
We prove that MSO on ω-words becomes undecidable if allowing to quantify...
research
∙
04/25/2018
Two monads for graphs
An introduction to algebras for graphs, based on Courcelle's algebras of...
research
∙
03/15/2018