S. Barry Cooper
发表
S. Barry Cooper,
S. Cooper,
1973,
Journal of Symbolic Logic.
Angsheng Li,
S. Barry Cooper,
Xiaoding Yi,
2002,
Arch. Math. Log..
S. Barry Cooper,
P. D. Welch,
John K. Truss,
1999
.
S. Barry Cooper,
1972,
J. Symb. Log..
Dag Normann,
Benedikt Löwe,
S. Barry Cooper,
2006,
Math. Struct. Comput. Sci..
Elham Kashefi,
Prakash Panangaden,
S. Barry Cooper,
2013,
Math. Struct. Comput. Sci..
S. Barry Cooper,
S. Cooper,
1987,
Mathematical Logic Quarterly.
S. Barry Cooper,
S. Cooper,
1982,
Journal of Symbolic Logic.
Yue Yang,
Andrea Sorbi,
Angsheng Li,
2005,
Journal of Symbolic Logic.
S. Barry Cooper,
1995,
Logic Colloquium.
S. Barry Cooper,
1991,
Arch. Math. Log..
S. Barry Cooper,
John K. Truss,
1999
.
S. Barry Cooper,
S. Cooper,
2006,
SOFSEM.
Angsheng Li,
S. Barry Cooper,
2002,
J. Symb. Log..
S. Barry Cooper,
S. Cooper,
1996,
Math. Log. Q..
S. Barry Cooper,
Andrew Hodges,
2016
.
Jianer Chen,
S. Barry Cooper,
2011,
Theor. Comput. Sci..
Andrea Sorbi,
S. Barry Cooper,
S. Cooper,
1996,
Journal of Symbolic Logic.
George Barmpalias,
Manindra Agrawal,
S. Barry Cooper,
2014,
Theor. Comput. Sci..
S. Barry Cooper,
Andrew Hodges,
2016
.
Andrea Sorbi,
S. Barry Cooper,
Elvira Mayordomo,
2008,
Theory of Computing Systems.
S. Barry Cooper,
S. Cooper,
1989,
Journal of Symbolic Logic.
S. Barry Cooper,
S. Cooper,
2010,
Ann. Pure Appl. Log..
Kanti V. Mardia,
S. Barry Cooper,
K. Mardia,
2016,
The Once and Future Turing.
Vincent Danos,
S. Barry Cooper,
2013,
Int. J. Softw. Informatics.
S. Barry Cooper,
2009,
TAMC.
S. Barry Cooper,
S. Cooper,
1984,
Journal of Symbolic Logic.
Hong Zhu,
S. Barry Cooper,
2009,
Theor. Comput. Sci..
Anuj Dawar,
Benedikt Löwe,
S. Barry Cooper,
2014,
Ann. Pure Appl. Log..
Richard L. Epstein,
S. Barry Cooper,
S. Cooper,
1987,
Ann. Pure Appl. Log..
George Barmpalias,
Frank Stephan,
S. Barry Cooper,
2007,
J. Log. Comput..
S. Barry Cooper,
2013,
ArXiv.
S. Barry Cooper,
1996
.
S. Barry Cooper,
Theodore A. Slaman,
Stanley S. Wainer,
1996
.
Samuel R. Buss,
Andrea Sorbi,
S. Barry Cooper,
2009,
Ann. Pure Appl. Log..
S. Barry Cooper,
S. Cooper,
2009,
Appl. Math. Comput..
S. Barry Cooper,
Vincent Danos,
2009
.
Alistair H. Lachlan,
Robert I. Soare,
Steffen Lempp,
2017,
Ann. Pure Appl. Log..
Mariya Ivanova Soskova,
S. Barry Cooper,
2013,
J. Log. Comput..
S. Barry Cooper,
2013
.
S. Barry Cooper,
S. Cooper,
2015,
Synthese.
S. Barry Cooper,
S. Cooper,
2013,
ArXiv.
S. Barry Cooper,
2012,
TAMC.
Mariya Ivanova Soskova,
S. Barry Cooper,
Iskander Sh. Kalimullin,
2008,
TAMC.
S. Barry Cooper,
S. Cooper,
2006,
Appl. Math. Comput..
Andrea Sorbi,
Benedikt Löwe,
S. Barry Cooper,
2007
.
Yue Yang,
S. Barry Cooper,
Chi Tat Chong,
2005,
Ann. Pure Appl. Log..
S. Barry Cooper,
1974,
J. Symb. Log..
Mariya Ivanova Soskova,
S. Barry Cooper,
2008,
J. Symb. Log..
S. Barry Cooper,
S. Cooper,
2013
.
Andrea Sorbi,
Benedikt Löwe,
S. Barry Cooper,
2009,
J. Log. Comput..
Anuj Dawar,
Benedikt Löwe,
S. Barry Cooper,
2012,
Lecture Notes in Computer Science.
S. Barry Cooper,
Kyung Il Lee,
Charles M. Harris,
2018,
Comput..
Cristian S. Calude,
S. Barry Cooper,
S. Cooper,
2012,
Mathematical Structures in Computer Science.
S. Barry Cooper,
John K. Truss,
1999
.
Benedikt Löwe,
S. Barry Cooper,
Leen Torenvliet,
2005
.
S. Barry Cooper,
2013,
ArXiv.
S. Barry Cooper,
Andrew Hodges,
2016
.
S. Barry Cooper,
S. Cooper,
Barry Cooper,
2012,
Commun. ACM.
Andrea Sorbi,
S. Barry Cooper,
Xiaoding Yi,
1996,
Ann. Pure Appl. Log..
Angsheng Li,
Manindra Agrawal,
S. Barry Cooper,
2010,
Math. Struct. Comput. Sci..
Alistair H. Lachlan,
Robert I. Soare,
Steffen Lempp,
1991,
Ann. Pure Appl. Log..
S. Barry Cooper,
S. Cooper,
1999,
Handbook of Computability Theory.
Guohua Wu,
S. Barry Cooper,
Matthew C. Salts,
2008,
TAMC.
S. Barry Cooper,
C. S. Copestake,
1988,
Math. Log. Q..
Angsheng Li,
Manindra Agrawal,
S. Barry Cooper,
2014,
TAMC.
S. Barry Cooper,
S. Barry Cooper,
2012,
Computation, Physics and Beyond.
Mariya Ivanova Soskova,
S. Barry Cooper,
2007,
TAMC.
Herman Geuvers,
S. Barry Cooper,
Jouko A. Väänänen,
1999,
Ann. Pure Appl. Log..
S. Barry Cooper,
J. V. Leeuwen,
S. B. Cooper,
2013
.
Angsheng Li,
Yicheng Pan,
S. Barry Cooper,
2018,
Network Science.
S. Barry Cooper,
S. Cooper,
1995
.
Herman Geuvers,
S. Barry Cooper,
Anand Pillay,
2009
.
S. Barry Cooper,
2001,
Math. Log. Q..
Yue Yang,
S. Barry Cooper,
Andrew E. M. Lewis,
2005,
Math. Log. Q..
S. Barry Cooper,
S. Cooper,
1989,
Journal of Symbolic Logic.
Angsheng Li,
S. Barry Cooper,
2007,
Theor. Comput. Sci..
S. Barry Cooper,
Xiaoding Yi,
1995,
Arch. Math. Log..
S. Barry Cooper,
S. Cooper,
2015,
J. Exp. Theor. Artif. Intell..
S. Barry Cooper,
Hong Zhu,
Jin-yi Cai,
2007
.
S. Barry Cooper,
Barry Cooper,
2012,
Nature.
S. Barry Cooper,
Andrew Hodges,
2016
.
S. Barry Cooper,
2005,
CiE.
Paola Bonizzoni,
Benedikt Löwe,
S. Barry Cooper,
2012,
De Computis.
Mariya Ivanova Soskova,
S. Barry Cooper,
Iskander Sh. Kalimullin,
2011,
Theor. Comput. Sci..
Peter van Emde Boas,
Benedikt Löwe,
S. Barry Cooper,
2006,
Theory of Computing Systems.
S. Barry Cooper,
Kyung Il Lee,
Charles M. Harris,
2016,
Math. Log. Q..
Angsheng Li,
S. Barry Cooper,
Marat M. Arslanov,
2000,
Math. Log. Q..
Angsheng Li,
S. Barry Cooper,
Marat M. Arslanov,
2004,
Math. Log. Q..
George Barmpalias,
S. Barry Cooper,
Bahareh Afshari,
2006,
TAMC.
Angsheng Li,
S. Barry Cooper,
S. Cooper,
2008,
Arch. Math. Log..
Andrea Sorbi,
S. Barry Cooper,
Alexandra A. Soskova,
2012,
J. Log. Comput..
S. Barry Cooper,
R. Penrose,
David Bohm,
2010,
Int. J. Unconv. Comput..
Kevin McEvoy,
S. Barry Cooper,
Kevin McEvoy,
1985,
Journal of Symbolic Logic.
S. Barry Cooper,
2013
.
S. Barry Cooper,
S. Cooper,
2013
.
Angsheng Li,
S. Barry Cooper,
Marat M. Arslanov,
2000
.
Steffen Lempp,
S. Barry Cooper,
S. Cooper,
1989
.
S. Barry Cooper,
2001
.
S. Barry Cooper,
S. Cooper,
J. Leeuwen,
2013
.
S. Barry Cooper,
Sergey S. Goncharov,
2003
.