Dimension-Minimality and Primality of Counter Nets.

Shaull Almagor, Guy Avni, Henry Sinclair-Banks, Asaf Yeshurun

Browse the full FOSSACS paper archive.