Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Conference: Annual Conference on Computer Science Logic
Liczba publikacji: 42024
- Anita Badyl, Paweł Parys , Extending the WMSO+U Logic with Quantification over Tuples, 32nd EACSL Annual Conference on Computer Science Logic, Naples, Italy, 19 lutego 2024 - 23 lutego 2024. Zobacz w 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 stycznia 2021 - 28 stycznia 2021, 183 2021, s. 9:1--9:23. Zobacz w PBN
2020
- Corentin Barloy, Nathanael Fijalkow, Nathan Lhote, Filip Mazowiecki , A Robust Class of Linear Recurrence Sequences, 28th EACSL Annual Conference on Computer Science Logic, Barcelona, Spain, 13 stycznia 2020 - 16 stycznia 2020, 152 2020, s. 9:1--9:16. Zobacz w PBN
- Paweł Parys , Parity Games: Another View on Lehtinen's Algorithm, 28th EACSL Annual Conference on Computer Science Logic, Barcelona, Spain, 13 stycznia 2020 - 16 stycznia 2020, 152 2020, s. 32:1-32:15. Zobacz w PBN
