Vincent Michielini

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 7

Top Topics

Extended Abstract

Quantifier Elimination

Guarded Fragment

Tractable Cases

Top Venues

Description Logics

Publications

Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the Complexity of Maslov's Class K (Extended Abstract). Description Logics (2024)
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the complexity of Maslov's class K. LICS (2024)
Oskar Fiuk, Emanuel Kieronski, Vincent Michielini
On the complexity of Maslov's class K. CoRR (2024)
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Uniformisation of Regular Relations in First-Order Logic with Two Variables. LICS (2024)
Vincent Michielini, Michal Skrzypczak
Regular Choice Functions and Uniformisations For countable Domains. MFCS (2020)
Nathan Lhote, Vincent Michielini, Michal Skrzypczak
Uniformisation Gives the Full Strength of Regular Languages. MFCS (2019)
Vincent Michielini
Uniformization Problem for Variants of First Order Logic over Finite Words. DLT (2018)