31387 search results - page 64 / 6278 » Abstracting abstract machines |
CADE
2003
Springer
14 years 10 months ago
2003
Springer
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
EWSN
2008
Springer
14 years 9 months ago
2008
Springer
CIE
2005
Springer
14 years 3 months ago
2005
Springer
L APPROACH TO ABSTRACT ALGEBRA THIERRY COQUAND AND HENRI LOMBARDI Recent work in constructive mathematics show that Hilbert’s program works rge part of abstract algebra. Using in...