Publikacje

Conference: Computability in Europe: Logic and Theory of Algorithms

2023

• Paweł Parys , Aleksander Wiącek, Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games, Unity of Logic and Computation - 19th Conference on Computability in Europ, Batumi, Georgia, 24 lipca 2023 - 28 lipca 2023. Zobacz w PBN

2017

• Lorenzo Carlucci, Leszek Kołodziejczyk , Francesco Lepore, Konrad Zdanowski, New Bounds on the Strength of Some Restrictions of Hindman’s Theorem, Computability in Europe 2017: Unveiling Dynamics and Complexity, Turku, Finland, 12 czerwca 2017 - 16 czerwca 2017. Zobacz w PBN