Sciweavers

TYPES
2004
Springer

Surreal Numbers in Coq

14 years 5 months ago
Surreal Numbers in Coq
Lionel Elie Mamane
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where TYPES
Authors Lionel Elie Mamane
Comments (0)