You are not logged in |
Back to the list of the institutes
Publications
Conference: Annual Conference on Computer Science Logic
Number of publications: 22021
- 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
- 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
