Publications

Conference: Annual Conference on Computer Science Logic

2024

• Anita Badyl, Paweł Parys , Extending the WMSO+U Logic with Quantification over Tuples, 32nd EACSL Annual Conference on Computer Science Logic, Naples, Italy, 19 February 2024 - 23 February 2024. See in PBN

2023

• Konrad Staniszewski , Parity Games of Bounded Tree-Depth, 31st EACSL Annual Conference on Computer Science Logic, Warszawa, Poland, 12 February 2023 - 15 February 2023, 252 (33) 2023, p. 1-20. See in PBN

2022

• Jakub Gajarský , Maximilian Gorsky, Stephan Kreutzer, Differential Games, Locality, and Model Checking for FO Logic of Graphs, 30th EACSL Annual Conference on Computer Science Logic, Göttingen, Germany, 14 February 2022 - 19 February 2022, 216 2022, p. 22:1-22:18. See in PBN

2021

• André Arnold, Damian Niwiński , Paweł Parys , A Quasi-Polynomial Black-Box Algorithm for Fixed Point Evaluation, 29th EACSL Annual Conference on Computer Science Logic, Lublana, Slovenia, 25 January 2021 - 28 January 2021, 183 2021, p. 9:1--9:23. See in PBN

2020

• Corentin Barloy, Nathanael Fijalkow, Nathan Lhote, Filip Mazowiecki , A Robust Class of Linear Recurrence Sequences, 28th International Conference on Computer Science Logic, Barcelona, Spain, 13 January 2020 - 16 January 2020, 152 2020, p. 9:1--9:16. See in PBN
• Paweł Parys , Parity Games: Another View on Lehtinen's Algorithm, 28th International Conference on Computer Science Logic, Barcelona, Spain, 13 January 2020 - 16 January 2020, 152 2020, p. 32:1-32:15. See in PBN