Sciweavers

Share
TYPES
2007
Springer

Algorithmic Equality in Heyting Arithmetic Modulo

10 years 1 months ago
Algorithmic Equality in Heyting Arithmetic Modulo
Lisa Allali
Added 09 Jun 2010
Updated 09 Jun 2010
Type Conference
Year 2007
Where TYPES
Authors Lisa Allali
Comments (0)
books