Items where Author is "Nyx Brain, M."
Up a level
Group by: Type | No Grouping
Number of items: 1.
Conference or Workshop Item
Howe, J. M. 
ORCID: 0000-0001-8013-6941 & Nyx Brain, M. (2023).
Widening for Systems of Two Variables Per Inequality.
In:
CEUR Workshop Proceedings.
8th SC-Square Workshop, 28 Jul 2023, Tromsø, Norway.