Highlights 2017
An Ordered Approach to Solving Parity Games in Quasi Polynomial Time and Quasi Linear Space
Abstract
Abstract available in PDF.
Authors
Keywords
No keywords are indexed for this paper.
Context
- Venue
- Highlights of Logic, Games and Automata
- Archive span
- 2013-2025
- Indexed papers
- 1236
- Paper id
- 251216146737142759