Publikacje

Vincent Michielini

2024

• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation of Regular Relations in First-Order Logic with Two Variables, 39th Annual ACM/IEEE Symposium on Logic in Computer Science, Tallinn, Estonia, 8 lipca 2024 - 11 lipca 2024, 8 2024, s. 1-13. Zobacz w PBN

2020

• Vincent Michielini , Michał Skrzypczak , Regular Choice Functions and Uniformisations For countable Domains, 45th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechia, 24 sierpnia 2020 - 28 sierpnia 2020, 170 2020, s. 69:1--69:13. Zobacz w PBN

2019

• Nathan Lhote, Vincent Michielini , Michał Skrzypczak , Uniformisation Gives the Full Strength of Regular Languages, 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, 26 sierpnia 2019 - 30 sierpnia 2019, 138 2019, s. 61:1--61:13. Zobacz w PBN

2018

• Vincent Michielini , Uniformization Problem for Variants of First Order Logic over Finite Words, 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Tokio, Japan, 10 września 2018 - 14 września 2018. Zobacz w PBN