Up a level |
Number of items: 1.
Gimbert, Hugo and Ibsen-Jensen, Rasmus
(2017)
A short proof of correctness of the quasi-polynomial time algorithm for parity games.
CoRR, abs/17.
Up a level |
Gimbert, Hugo and Ibsen-Jensen, Rasmus
(2017)
A short proof of correctness of the quasi-polynomial time algorithm for parity games.
CoRR, abs/17.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000