research
∙
07/10/2023
First order synthesis for data words revisited
We carry on the study of the synthesis problem on data words for fragmen...
share
research
∙
04/17/2023
About the Expressive Power and Complexity of Order-Invariance with Two Variables
Order-invariant first-order logic is an extension of first-order logic (...
research
∙
07/11/2022
Order-Invariance in the Two-Variable Fragment of First-Order Logic
We study the expressive power of the two-variable fragment of order-inva...
research
∙
06/08/2021
On the nonexistence of FO-continuous path and tree-decompositions
Bojanczyk and Pilipczuk showed in their celebrated article "Definability...
research
∙
09/24/2020