R. Solovay
发表
Volker Strassen,
Robert Solovay,
V. Strassen,
1977,
SIAM J. Comput..
R. Solovay,
John Gill,
T. Baker,
1975
.
R. Solovay,
1970
.
John Harrison,
Rob Arthan,
Robert Solovay,
2009,
Ann. Pure Appl. Log..
Donald A. Martin,
Robert M. Solovay,
R. Solovay,
1970
.
R. Solovay,
1976
.
R. Solovay,
1967
.
R. Solovay,
1999
.
R. Solovay,
2009
.
John Gill,
Theodore P. Baker,
Robert Solovay,
1975,
SIAM J. Comput..
R. Solovay,
R. Soare,
C. Jockusch,
1989,
Journal of Symbolic Logic.
R. Solovay,
2006
.
William I. Gasarch,
Mark G. Pleszkoch,
Robert Solovay,
1992,
COLT '88.
Mark G. Pleszkoch,
William Gasarch,
Robert M. Solovay,
1992
.
Donald A. Martin,
Robert M. Solovay,
R. Solovay,
1969
.
A. Levy,
R. Solovay,
A. Lévy,
1967
.
William I. Gasarch,
Mark G. Pleszkoch,
Robert Solovay,
1992,
J. Symb. Log..
R. M. Solovay,
R. Solovay,
S. Tennenbaum,
1971
.
Robert Solovay,
R. Solovay,
1985,
Journal of Symbolic Logic.
S. Shelah,
R. Solovay,
U. Abraham,
1987
.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1986
.
Robert M. Solovay,
R. Solovay,
1967
.
Robert M. Solovay,
R. Solovay,
2020,
Large Cardinals, Determinacy and Other Topics.
John W. Dawson,
Solomon Feferman,
S. C. Kleene,
1987
.
Robert M. Solovay,
R. Solovay,
1967
.
R. Solovay,
1978
.
Volker Strassen,
Robert Solovay,
V. Strassen,
1978,
SIAM J. Comput..
David Pincus,
Robert Solovay,
R. Solovay,
1977,
Journal of Symbolic Logic.
R. Solovay,
A. Kechris,
ALEXANDER S. KECHRIS,
1985
.
R. Solovay,
A. Kechris,
D. A. Martin,
1983
.
Akihiro Kanamori,
William N. Reinhardt,
Robert M. Solovay,
1978
.
R. Solovay,
1969
.
Stuart A. Kurtz,
Lance Fortnow,
Sanjay Jain,
1994,
Ann. Pure Appl. Log..