Sciweavers

2143 search results - page 22 / 429
» corr 2010
Sort
View
39
Voted
CORR
2010
Springer
46views Education» more  CORR 2010»
15 years 18 days ago
Realizability algebras: a program to well order R
Jean-Louis Krivine
39
Voted
CORR
2010
Springer
49views Education» more  CORR 2010»
15 years 18 days ago
Stability of fast algorithms for structured linear systems
Richard P. Brent
52
Voted
CORR
2010
Springer
41views Education» more  CORR 2010»
15 years 18 days ago
Realizability algebras II : new models of ZF + DC
Jean-Louis Krivine