Vincent Michielini

According to our database, Vincent Michielini authored at least 6 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Uniformisation of Regular Relations in First-Order Logic with Two Variables.

Nathan Lhote, Vincent Michielini, Michal Skrzypczak

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

On the complexity of Maslov's class K.

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

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

On the Complexity of Maslov's Class K (Extended Abstract).

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2020

Regular Choice Functions and Uniformisations For countable Domains.

Vincent Michielini, Michal Skrzypczak

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

2019

Uniformisation Gives the Full Strength of Regular Languages.

Nathan Lhote, Vincent Michielini, Michal Skrzypczak

Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019

2018

Uniformization Problem for Variants of First Order Logic over Finite Words.

Vincent Michielini

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018