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