Vincent Michielini

According to our database, Vincent Michielini authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

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