Up a level |
Number of items: 1.
Lehtinen, Karoliina, Parys, Paweł, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2022)
A Recursive Approach to Solving Parity Games in Quasipolynomial Time.
Logical Methods in Computer Science, Volume (1).