AAAAAA

   
Results: 1-9 |
Results: 9

Authors: AMBOSSPIES K SLAMAN TA SOARE RI
Citation: K. Ambosspies et al., CONFERENCE ON COMPUTABILITY THEORY - 27 JANUARY 3 FEBRUARY 1996 - OBERWOLFACH, GERMANY - PREFACE, Annals of pure and applied Logic, 94(1-3), 1998, pp. 1-1

Authors: HARRINGTON L SOARE RI
Citation: L. Harrington et Ri. Soare, DEFINABLE PROPERTIES OF THE COMPUTABLY ENUMERABLE SETS, Annals of pure and applied Logic, 94(1-3), 1998, pp. 97-125

Authors: HARRINGTON L SOARE RI
Citation: L. Harrington et Ri. Soare, CODABLE SETS AND ORBITS OF COMPUTABLY ENUMERABLE SETS, The Journal of symbolic logic, 63(1), 1998, pp. 1-28

Authors: LACHLAN AH SOARE RI
Citation: Ah. Lachlan et Ri. Soare, MODELS OF ARITHMETIC AND SUBUNIFORM BOUNDS FOR THE ARITHMETIC SETS, The Journal of symbolic logic, 63(1), 1998, pp. 59-72

Authors: HARRINGTON L SOARE RI
Citation: L. Harrington et Ri. Soare, THE DELTA(0)(3)-AUTOMORPHISM METHOD AND NONINVARIANT CLASSES OF DEGREES, Journal of the American Mathematical Society, 9(3), 1996, pp. 617-666

Authors: SLAMAN TA SOARE RI
Citation: Ta. Slaman et Ri. Soare, ALGEBRAIC ASPECTS OF THE COMPUTABLY ENUMERABLE DEGREES, Proceedings of the National Academy of Sciences of the United Statesof America, 92(2), 1995, pp. 617-621

Authors: AMBOSSPIES K HOMER S SOARE RI
Citation: K. Ambosspies et al., MINIMAL PAIRS AND COMPLETE PROBLEMS, Theoretical computer science, 132(1-2), 1994, pp. 229-241

Authors: JOCKUSCH CG SOARE RI
Citation: Cg. Jockusch et Ri. Soare, BOOLEAN-ALGEBRAS, STONE SPACES, AND THE ITERATED TURING JUMP, The Journal of symbolic logic, 59(4), 1994, pp. 1121-1138

Authors: AMBOSSPIES K LACHLAN AH SOARE RI
Citation: K. Ambosspies et al., THE CONTINUITY OF CUPPING TO 0', Annals of pure and applied Logic, 64(3), 1993, pp. 195-209
Risultati: 1-9 |