1994 |
13 | | Lance Fortnow,
William I. Gasarch,
Sanjay Jain,
Efim B. Kinber,
Martin Kummer,
Stuart A. Kurtz,
Mark Pleszkovich,
Theodore A. Slaman,
Robert Solovay,
Frank Stephan:
Extremes in the Degrees of Inferability.
Ann. Pure Appl. Logic 66(3): 231-276 (1994) |
1992 |
12 | | William I. Gasarch,
Mark G. Pleszkoch,
Robert Solovay:
Learning vi Queries in [+, <].
J. Symb. Log. 57(1): 53-81 (1992) |
1991 |
11 | EE | Theodore A. Slaman,
Robert Solovay:
When Oracles Do Not Help.
COLT 1991: 379-383 |
1990 |
10 | EE | William I. Gasarch,
Mark G. Pleszkoch,
Robert Solovay:
Learning Via Queries in [+, <].
COLT 1990: 338-351 |
1989 |
9 | | Robert Solovay:
Injecting Inconsistencies into Models of PA.
Ann. Pure Appl. Logic 44(1-2): 101-132 (1989) |
8 | | Carl G. Jockusch Jr.,
Manuel Lerman,
Robert I. Soare,
Robert Solovay:
Recursively Enumerable Sets Modulo Iterated Jumps and Extensions of Arslanov's Completeness Criterion.
J. Symb. Log. 54(4): 1288-1323 (1989) |
1985 |
7 | | Robert Solovay:
Explicit Henkin Sentences.
J. Symb. Log. 50(1): 91-93 (1985) |
1978 |
6 | | Robert Solovay,
Volker Strassen:
Erratum: A Fast Monte-Carlo Test for Primality.
SIAM J. Comput. 7(1): 118 (1978) |
1977 |
5 | | David Pincus,
Robert Solovay:
Definability of Measures and Ultrafilters.
J. Symb. Log. 42(2): 179-190 (1977) |
4 | | Robert Solovay,
Volker Strassen:
A Fast Monte-Carlo Test for Primality.
SIAM J. Comput. 6(1): 84-85 (1977) |
1976 |
3 | | Robert Solovay:
On Sets Cook-Reducible to Sparse Sets.
SIAM J. Comput. 5(4): 646-652 (1976) |
1975 |
2 | | Karel Prikry,
Robert Solovay:
On Partitions into Stationary Sets.
J. Symb. Log. 40(1): 75-80 (1975) |
1 | | Theodore P. Baker,
John Gill,
Robert Solovay:
Relativizatons of the P =? NP Question.
SIAM J. Comput. 4(4): 431-442 (1975) |