Skip to content

The 2-Token Theorem: Recognising History-Deterministic Parity Automata Efficiently.

Karoliina Lehtinen, Aditya Prakash

VenueA*STOC
Year2025
ProceedingsSTOC

Browse the full STOC paper archive.