Publikacje

Konferencja: Developments in Language Theory

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

2017

• Michał Skrzypczak , Connecting Decidability and Complexity for MSO Logic, 21st International Conference on Developments in Language Theory, Liege, Belgium, 7 sierpnia 2017 - 11 sierpnia 2017. Zobacz w PBN