Items where Author is "Purser, D."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
Daviaud, L. ORCID: 0000-0002-9220-7118 & Purser, D. (2023). The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete). In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). LICS 2023, 26-29 June 2023, Boston, USA. doi: 10.1109/LICS56636.2023.10175798