Highlights 2025
The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently
Abstract
No abstract is available in the live database for this paper.
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
- 59766935652627039