Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: S. Barry Cooper
@article{DBLP:journals/computability/CooperGHLM18,
author = {S. Barry Cooper and
James Gay and
Charles M. Harris and
Kyung Il Lee and
Anthony Morphett},
title = {Linearisations and the Ershov hierarchy},
journal = {Comput.},
volume = {7},
number = {2-3},
pages = {143--169},
year = {2018},
url = {https://doi.org/10.3233/COM-170080},
doi = {10.3233/COM-170080},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/CooperGHLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/netsci/CooperLLP18,
author = {S. Barry Cooper and
Andy Lewis{-}Pye and
Angsheng Li and
Yicheng Pan},
title = {Establishing social cooperation: The role of hubs and community structure},
journal = {Netw. Sci.},
volume = {6},
number = {2},
pages = {251--264},
year = {2018},
url = {https://doi.org/10.1017/nws.2018.3},
doi = {10.1017/NWS.2018.3},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/netsci/CooperLLP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperHLLS17,
author = {S. Barry Cooper and
Leo Harrington and
Alistair H. Lachlan and
Steffen Lempp and
Robert I. Soare},
title = {Corrigendum to "The d.r.e. degrees are not dense" [Ann.
Pure Appl. Logic 55 {(1991)} 125-151]},
journal = {Ann. Pure Appl. Log.},
volume = {168},
number = {12},
pages = {2164--2165},
year = {2017},
url = {https://doi.org/10.1016/j.apal.2017.07.001},
doi = {10.1016/J.APAL.2017.07.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperHLLS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0040377,
editor = {S. Barry Cooper and
Mariya Ivanova Soskova},
title = {The Incomputable: Journeys Beyond the Turing Barrier},
series = {Theory and Applications of Computability},
publisher = {Springer International Publishing},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-43669-2},
doi = {10.1007/978-3-319-43669-2},
isbn = {978-3-319-43667-8},
timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0040377.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/HarrisLC16,
author = {Charles M. Harris and
Kyung Il Lee and
S. Barry Cooper},
title = {Automorphisms of \emph{{\(\eta\)}}-like computable linear orderings
and Kierstead's conjecture},
journal = {Math. Log. Q.},
volume = {62},
number = {6},
pages = {481--506},
year = {2016},
url = {https://doi.org/10.1002/malq.201400109},
doi = {10.1002/MALQ.201400109},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/HarrisLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/cu/p/MardiaC16,
author = {Kanti V. Mardia and
S. Barry Cooper},
editor = {S. Barry Cooper and
Andrew Hodges},
title = {Alan Turing and Enigmatic Statistics},
booktitle = {The Once and Future Turing: Computing the World},
pages = {78--89},
publisher = {Cambridge University Press},
year = {2016},
url = {https://doi.org/10.1017/CBO9780511863196.008},
doi = {10.1017/CBO9780511863196.008},
timestamp = {Tue, 16 May 2017 14:01:42 +0200},
biburl = {https://dblp.org/rec/books/cu/p/MardiaC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/CH2016,
editor = {S. Barry Cooper and
Andrew Hodges},
title = {The Once and Future Turing: Computing the World},
publisher = {Cambridge University Press},
year = {2016},
url = {https://doi.org/10.1017/CBO9780511863196},
doi = {10.1017/CBO9780511863196},
isbn = {9780511863196},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/cu/CH2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Cooper15,
author = {S. Barry Cooper},
title = {'Real' information is not flat - and why it matters},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {27},
number = {1},
pages = {3--11},
year = {2015},
url = {https://doi.org/10.1080/0952813X.2014.940694},
doi = {10.1080/0952813X.2014.940694},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/Cooper15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Cooper15,
author = {S. Barry Cooper},
title = {The machine as data: a computational view of emergence and definability},
journal = {Synth.},
volume = {192},
number = {7},
pages = {1955--1988},
year = {2015},
url = {https://doi.org/10.1007/s11229-015-0803-4},
doi = {10.1007/S11229-015-0803-4},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Cooper15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Cooper15,
author = {S. Barry Cooper},
title = {The Machine as Data: {A} Computational View of Emergence and Definability},
journal = {CoRR},
volume = {abs/1506.06270},
year = {2015},
url = {http://arxiv.org/abs/1506.06270},
eprinttype = {arXiv},
eprint = {1506.06270},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Cooper15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperDHL14,
author = {S. Barry Cooper and
Anuj Dawar and
Martin Hyland and
Benedikt L{\"{o}}we},
title = {Turing Centenary Conference: How the World Computes},
journal = {Ann. Pure Appl. Log.},
volume = {165},
number = {9},
pages = {1353--1354},
year = {2014},
url = {https://doi.org/10.1016/j.apal.2014.04.007},
doi = {10.1016/J.APAL.2014.04.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperDHL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BarmpaliasAC14,
author = {George Barmpalias and
Manindra Agrawal and
S. Barry Cooper},
title = {Theory and Applications of Models of Computation at the Turing Centenary
in China},
journal = {Theor. Comput. Sci.},
volume = {560},
pages = {107},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2014.11.020},
doi = {10.1016/J.TCS.2014.11.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BarmpaliasAC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/GopalALC14,
author = {T. V. Gopal and
Manindra Agrawal and
Angsheng Li and
S. Barry Cooper},
editor = {T. V. Gopal and
Manindra Agrawal and
Angsheng Li and
S. Barry Cooper},
title = {A Roadmap for {TAMC}},
booktitle = {Theory and Applications of Models of Computation - 11th Annual Conference,
{TAMC} 2014, Chennai, India, April 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8402},
pages = {1--6},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06089-7\_1},
doi = {10.1007/978-3-319-06089-7\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/GopalALC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2014,
editor = {T. V. Gopal and
Manindra Agrawal and
Angsheng Li and
S. Barry Cooper},
title = {Theory and Applications of Models of Computation - 11th Annual Conference,
{TAMC} 2014, Chennai, India, April 11-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8402},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06089-7},
doi = {10.1007/978-3-319-06089-7},
isbn = {978-3-319-06088-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/CooperD13,
author = {S. Barry Cooper and
Vincent Danos},
title = {Editorial},
journal = {Int. J. Softw. Informatics},
volume = {7},
number = {4},
pages = {483--484},
year = {2013},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i179},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/CooperD13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CooperS13,
author = {S. Barry Cooper and
Mariya Ivanova Soskova},
title = {The incomputable},
journal = {J. Log. Comput.},
volume = {23},
number = {6},
pages = {1143--1144},
year = {2013},
url = {https://doi.org/10.1093/logcom/ext050},
doi = {10.1093/LOGCOM/EXT050},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CooperS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CooperKP13,
author = {S. Barry Cooper and
Elham Kashefi and
Prakash Panangaden},
title = {Preface to special issue: Developments In Computational Models 2010},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {2},
pages = {201--203},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000084},
doi = {10.1017/S0960129512000084},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CooperKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-2507,
author = {S. Barry Cooper},
title = {What Makes a Computation Unconventional?},
journal = {CoRR},
volume = {abs/1303.2507},
year = {2013},
url = {http://arxiv.org/abs/1303.2507},
eprinttype = {arXiv},
eprint = {1303.2507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-2507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-5385,
author = {S. Barry Cooper},
title = {The Mathematician's Bias - and the Return to Embodied Computation},
journal = {CoRR},
volume = {abs/1304.5385},
year = {2013},
url = {http://arxiv.org/abs/1304.5385},
eprinttype = {arXiv},
eprint = {1304.5385},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-5385.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1304-6363,
author = {S. Barry Cooper},
title = {Incomputability after Alan Turing},
journal = {CoRR},
volume = {abs/1304.6363},
year = {2013},
url = {http://arxiv.org/abs/1304.6363},
eprinttype = {arXiv},
eprint = {1304.6363},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1304-6363.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/Cooper12,
author = {S. Barry Cooper},
title = {Turing's Titanic machine?},
journal = {Commun. {ACM}},
volume = {55},
number = {3},
pages = {74--83},
year = {2012},
url = {https://doi.org/10.1145/2093548.2093569},
doi = {10.1145/2093548.2093569},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/Cooper12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computability/BrattkaBCLM12,
author = {Vasco Brattka and
Paola Bonizzoni and
S. Barry Cooper and
Benedikt L{\"{o}}we and
Elvira Mayordomo},
title = {Editorial},
journal = {Comput.},
volume = {1},
number = {1},
pages = {1--2},
year = {2012},
url = {https://doi.org/10.3233/COM-2012-007},
doi = {10.3233/COM-2012-007},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computability/BrattkaBCLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/SoskovaCS12,
author = {Alexandra A. Soskova and
S. Barry Cooper and
Andrea Sorbi},
title = {Computability at Logic Colloquium 2009},
journal = {J. Log. Comput.},
volume = {22},
number = {4},
pages = {667},
year = {2012},
url = {https://doi.org/10.1093/logcom/exq045},
doi = {10.1093/LOGCOM/EXQ045},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/SoskovaCS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CaludeC12,
author = {Cristian S. Calude and
S. Barry Cooper},
title = {Introduction: computability of the physical},
journal = {Math. Struct. Comput. Sci.},
volume = {22},
number = {5},
pages = {723--728},
year = {2012},
url = {https://doi.org/10.1017/S0960129511000491},
doi = {10.1017/S0960129511000491},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CaludeC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nature/Cooper12,
author = {S. Barry Cooper},
title = {Turing centenary: The incomputable reality},
journal = {Nat.},
volume = {482},
number = {7386},
pages = {465},
year = {2012},
url = {https://doi.org/10.1038/482465a},
doi = {10.1038/482465A},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nature/Cooper12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Cooper12,
author = {S. Barry Cooper},
editor = {Michael J. Dinneen and
Bakhadyr Khoussainov and
Andr{\'{e}} Nies},
title = {Mathematics, Metaphysics and the Multiverse},
booktitle = {Computation, Physics and Beyond - International Workshop on Theoretical
Computer Science, {WTCS} 2012, Dedicated to Cristian S. Calude on
the Occasion of His 60th Birthday, Auckland, New Zealand, February
21-24, 2012, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7160},
pages = {252--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27654-5\_20},
doi = {10.1007/978-3-642-27654-5\_20},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Cooper12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Cooper12,
author = {S. Barry Cooper},
editor = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {From Turing Machine to Morphogenesis: Forming and Informing Computation},
booktitle = {Theory and Applications of Models of Computation - 9th Annual Conference,
{TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7287},
pages = {3--10},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29952-0\_2},
doi = {10.1007/978-3-642-29952-0\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Cooper12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2012,
editor = {S. Barry Cooper and
Anuj Dawar and
Benedikt L{\"{o}}we},
title = {How the World Computes - Turing Centenary Conference and 8th Conference
on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7318},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30870-3},
doi = {10.1007/978-3-642-30870-3},
isbn = {978-3-642-30869-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2012,
editor = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {Theory and Applications of Models of Computation - 9th Annual Conference,
{TAMC} 2012, Beijing, China, May 16-21, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7287},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29952-0},
doi = {10.1007/978-3-642-29952-0},
isbn = {978-3-642-29951-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ArslanovCKS11,
author = {Marat M. Arslanov and
S. Barry Cooper and
Iskander Sh. Kalimullin and
Mariya Ivanova Soskova},
title = {Splitting and nonsplitting in the {\(\Sigma\)}\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)
enumeration degrees},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {18},
pages = {1669--1685},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.12.042},
doi = {10.1016/J.TCS.2010.12.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ArslanovCKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChenC11,
author = {Jianer Chen and
S. Barry Cooper},
title = {Algorithms, complexity and computational models},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {23},
pages = {2457--2458},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2010.10.037},
doi = {10.1016/J.TCS.2010.10.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChenC11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Cooper10,
author = {S. Barry Cooper},
title = {Extending and interpreting Post's programme},
journal = {Ann. Pure Appl. Log.},
volume = {161},
number = {6},
pages = {775--788},
year = {2010},
url = {https://doi.org/10.1016/j.apal.2009.06.007},
doi = {10.1016/J.APAL.2009.06.007},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Cooper10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/Cooper10,
author = {S. Barry Cooper},
title = {The Computational Roots of Hyper-Causality?},
journal = {Int. J. Unconv. Comput.},
volume = {6},
number = {5},
pages = {437--449},
year = {2010},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-6-number-5-2010/ijuc-6-5-p-437-449/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/Cooper10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/AgrawalCL10,
author = {Manindra Agrawal and
S. Barry Cooper and
Angsheng Li},
title = {Preface to Special Issue: Theory and Applications of Models of Computation
{(TAMC} 2008-2009)},
journal = {Math. Struct. Comput. Sci.},
volume = {20},
number = {5},
pages = {705--706},
year = {2010},
url = {https://doi.org/10.1017/S0960129510000277},
doi = {10.1017/S0960129510000277},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AgrawalCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1006-1937,
editor = {S. Barry Cooper and
Prakash Panangaden and
Elham Kashefi},
title = {Proceedings Sixth Workshop on Developments in Computational Models:
Causality, Computation, and Physics, {DCM} 2010, Edinburgh, Scotland,
9-10th July 2010},
series = {{EPTCS}},
volume = {26},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.26},
doi = {10.4204/EPTCS.26},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1937.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Cooper09,
author = {S. Barry Cooper},
title = {Emergence as a computability-theoretic phenomenon},
journal = {Appl. Math. Comput.},
volume = {215},
number = {4},
pages = {1351--1360},
year = {2009},
url = {https://doi.org/10.1016/j.amc.2009.04.050},
doi = {10.1016/J.AMC.2009.04.050},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Cooper09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/BussCLS09,
author = {Samuel R. Buss and
S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {160},
number = {3},
pages = {229--230},
year = {2009},
url = {https://doi.org/10.1016/j.apal.2009.01.011},
doi = {10.1016/J.APAL.2009.01.011},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/BussCLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/CooperLS09,
author = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Logic and Computation in the Real World: CiE 2007},
journal = {J. Log. Comput.},
volume = {19},
number = {1},
pages = {1--2},
year = {2009},
url = {https://doi.org/10.1093/logcom/exn020},
doi = {10.1093/LOGCOM/EXN020},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/CooperLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CaiCL09,
author = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Preface to Special Issue: Theory and Applications of Models of Computation
{(TAMC)}},
journal = {Math. Struct. Comput. Sci.},
volume = {19},
number = {1},
pages = {5--7},
year = {2009},
url = {https://doi.org/10.1017/S0960129508007214},
doi = {10.1017/S0960129508007214},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CaiCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CooperMS09,
author = {S. Barry Cooper and
Elvira Mayordomo and
Andrea Sorbi},
title = {Computation and Logic in the Real World: CiE 2007},
journal = {Theory Comput. Syst.},
volume = {45},
number = {4},
pages = {647--649},
year = {2009},
url = {https://doi.org/10.1007/s00224-008-9164-4},
doi = {10.1007/S00224-008-9164-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CooperMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonizzoniCLS09,
author = {Paola Bonizzoni and
S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Foreword},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {4-5},
pages = {283--284},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.09.040},
doi = {10.1016/J.TCS.2008.09.040},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BonizzoniCLS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CooperZ09,
author = {S. Barry Cooper and
Hong Zhu},
title = {Preface: Algorithms, complexity and models of computation},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {11},
pages = {1001--1002},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2008.10.026},
doi = {10.1016/J.TCS.2008.10.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CooperZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/Cooper09,
author = {S. Barry Cooper},
editor = {Jianer Chen and
S. Barry Cooper},
title = {The Extended Turing Model as Contextual Tool},
booktitle = {Theory and Applications of Models of Computation, 6th Annual Conference,
{TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5532},
pages = {18--28},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02017-9\_5},
doi = {10.1007/978-3-642-02017-9\_5},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/Cooper09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2009,
editor = {Jianer Chen and
S. Barry Cooper},
title = {Theory and Applications of Models of Computation, 6th Annual Conference,
{TAMC} 2009, Changsha, China, May 18-22, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5532},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02017-9},
doi = {10.1007/978-3-642-02017-9},
isbn = {978-3-642-02016-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-0911-2829,
editor = {S. Barry Cooper and
Vincent Danos},
title = {Proceedings Fifth Workshop on Developments in Computational Models--Computational
Models From Nature, {DCM} 2009, Rhodes, Greece, 11th July 2009},
series = {{EPTCS}},
volume = {9},
year = {2009},
url = {https://doi.org/10.4204/EPTCS.9},
doi = {10.4204/EPTCS.9},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-2829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CooperL08,
author = {S. Barry Cooper and
Angsheng Li},
title = {On Lachlan's major sub-degree problem},
journal = {Arch. Math. Log.},
volume = {47},
number = {4},
pages = {341--434},
year = {2008},
url = {https://doi.org/10.1007/s00153-008-0083-5},
doi = {10.1007/S00153-008-0083-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CooperL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperGPV08,
author = {S. Barry Cooper and
Herman Geuvers and
Anand Pillay and
Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {Preface},
journal = {Ann. Pure Appl. Log.},
volume = {156},
number = {1},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2008.06.001},
doi = {10.1016/J.APAL.2008.06.001},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperGPV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CooperS08,
author = {S. Barry Cooper and
Mariya Ivanova Soskova},
title = {How enumeration reducibility yields extended Harrington non-splitting},
journal = {J. Symb. Log.},
volume = {73},
number = {2},
pages = {634--655},
year = {2008},
url = {https://doi.org/10.2178/jsl/1208359064},
doi = {10.2178/JSL/1208359064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CooperS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/ArslanovCKS08,
author = {Marat M. Arslanov and
S. Barry Cooper and
Iskander Sh. Kalimullin and
Mariya Ivanova Soskova},
editor = {Manindra Agrawal and
Ding{-}Zhu Du and
Zhenhua Duan and
Angsheng Li},
title = {Total Degrees and Nonsplitting Properties of Enumeration Degrees},
booktitle = {Theory and Applications of Models of Computation, 5th International
Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4978},
pages = {568--578},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79228-4\_49},
doi = {10.1007/978-3-540-79228-4\_49},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/ArslanovCKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/CooperSW08,
author = {S. Barry Cooper and
Matthew C. Salts and
Guohua Wu},
editor = {Manindra Agrawal and
Ding{-}Zhu Du and
Zhenhua Duan and
Angsheng Li},
title = {The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable
Degrees},
booktitle = {Theory and Applications of Models of Computation, 5th International
Conference, {TAMC} 2008, Xi'an, China, April 25-29, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4978},
pages = {588--596},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79228-4\_51},
doi = {10.1007/978-3-540-79228-4\_51},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/CooperSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/wiley/Cooper08,
author = {S. Barry Cooper},
editor = {Benjamin W. Wah},
title = {Computability},
booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
publisher = {John Wiley {\&} Sons, Inc.},
year = {2008},
url = {https://doi.org/10.1002/9780470050118.ecse539},
doi = {10.1002/9780470050118.ECSE539},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/wiley/Cooper08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/AfshariBCS07,
author = {Bahareh Afshari and
George Barmpalias and
S. Barry Cooper and
Frank Stephan},
title = {Post's Programme for the Ershov Hierarchy},
journal = {J. Log. Comput.},
volume = {17},
number = {6},
pages = {1025--1040},
year = {2007},
url = {https://doi.org/10.1093/logcom/exm032},
doi = {10.1093/LOGCOM/EXM032},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/AfshariBCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/CooperLB07,
author = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Peter van Emde Boas},
title = {Theory of Computation at CiE 2005},
journal = {Theory Comput. Syst.},
volume = {41},
number = {1},
pages = {1--2},
year = {2007},
url = {https://doi.org/10.1007/s00224-006-4101-x},
doi = {10.1007/S00224-006-4101-X},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/CooperLB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CooperL07,
author = {S. Barry Cooper and
Angsheng Li},
title = {Preface: Theory and applications of models of computation},
journal = {Theor. Comput. Sci.},
volume = {384},
number = {1},
pages = {1},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.05.013},
doi = {10.1016/J.TCS.2007.05.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CooperL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/SoskovaC07,
author = {Mariya Ivanova Soskova and
S. Barry Cooper},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Hong Zhu},
title = {The Strongest Nonsplitting Theorem},
booktitle = {Theory and Applications of Models of Computation, 4th International
Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4484},
pages = {199--211},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72504-6\_18},
doi = {10.1007/978-3-540-72504-6\_18},
timestamp = {Mon, 04 May 2020 13:17:48 +0200},
biburl = {https://dblp.org/rec/conf/tamc/SoskovaC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2007,
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Andrea Sorbi},
title = {Computation and Logic in the Real World, Third Conference on Computability
in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4497},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73001-9},
doi = {10.1007/978-3-540-73001-9},
isbn = {978-3-540-73000-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2007,
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Hong Zhu},
title = {Theory and Applications of Models of Computation, 4th International
Conference, {TAMC} 2007, Shanghai, China, May 22-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4484},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72504-6},
doi = {10.1007/978-3-540-72504-6},
isbn = {978-3-540-72503-9},
timestamp = {Mon, 04 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/Cooper06,
author = {S. Barry Cooper},
title = {Definability as hypercomputational effect},
journal = {Appl. Math. Comput.},
volume = {178},
number = {1},
pages = {72--82},
year = {2006},
url = {https://doi.org/10.1016/j.amc.2005.09.072},
doi = {10.1016/J.AMC.2005.09.072},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/Cooper06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CooperLN06,
author = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Dag Normann},
title = {Mathematics of computing at CiE 2005},
journal = {Math. Struct. Comput. Sci.},
volume = {16},
number = {5},
pages = {735--736},
year = {2006},
url = {https://doi.org/10.1017/S0960129506005433},
doi = {10.1017/S0960129506005433},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CooperLN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sofsem/Cooper06,
author = {S. Barry Cooper},
editor = {Jir{\'{\i}} Wiedermann and
Gerard Tel and
Jaroslav Pokorn{\'{y}} and
M{\'{a}}ria Bielikov{\'{a}} and
Julius Stuller},
title = {How Can Nature Help Us Compute?},
booktitle = {{SOFSEM} 2006: Theory and Practice of Computer Science, 32nd Conference
on Current Trends in Theory and Practice of Computer Science, Mer{\'{\i}}n,
Czech Republic, January 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3831},
pages = {1--13},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11611257\_1},
doi = {10.1007/11611257\_1},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sofsem/Cooper06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/AfshariBC06,
author = {Bahareh Afshari and
George Barmpalias and
S. Barry Cooper},
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Immunity Properties and the \emph{n}-C.E. Hierarchy},
booktitle = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
pages = {694--703},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321\_65},
doi = {10.1007/11750321\_65},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/tamc/AfshariBC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tamc/2006,
editor = {Jin{-}yi Cai and
S. Barry Cooper and
Angsheng Li},
title = {Theory and Applications of Models of Computation, Third International
Conference, {TAMC} 2006, Beijing, China, May 15-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3959},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11750321},
doi = {10.1007/11750321},
isbn = {3-540-34021-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tamc/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/ArslanovCCY05,
author = {Marat M. Arslanov and
Chi Tat Chong and
S. Barry Cooper and
Yue Yang},
title = {The minimal e-degree problem in fragments of Peano arithmetic},
journal = {Ann. Pure Appl. Log.},
volume = {131},
number = {1-3},
pages = {159--175},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.04.010},
doi = {10.1016/J.APAL.2004.04.010},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apal/ArslanovCCY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CooperLSY05,
author = {S. Barry Cooper and
Angsheng Li and
Andrea Sorbi and
Yue Yang},
title = {Bounding and nonbounding minimal pairs in the enumeration degrees},
journal = {J. Symb. Log.},
volume = {70},
number = {3},
pages = {741--766},
year = {2005},
url = {https://doi.org/10.2178/jsl/1122038912},
doi = {10.2178/JSL/1122038912},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CooperLSY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CooperLY05,
author = {S. Barry Cooper and
Andrew E. M. Lewis and
Yue Yang},
title = {Properly Sigma\({}_{\mbox{2}}\) minimal degrees and 0'' complementation},
journal = {Math. Log. Q.},
volume = {51},
number = {3},
pages = {274--276},
year = {2005},
url = {https://doi.org/10.1002/malq.200410027},
doi = {10.1002/MALQ.200410027},
timestamp = {Sat, 27 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CooperLY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Cooper05,
author = {S. Barry Cooper},
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {Introduction: If CiE Did Not Exist, It Would Be Necessary to Invent
It},
booktitle = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
pages = {1--7},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11494645\_1},
doi = {10.1007/11494645\_1},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Cooper05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cie/2005,
editor = {S. Barry Cooper and
Benedikt L{\"{o}}we and
Leen Torenvliet},
title = {New Computational Paradigms, First Conference on Computability in
Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3526},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b136981},
doi = {10.1007/B136981},
isbn = {3-540-26179-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cie/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0011912,
author = {S. Barry Cooper},
title = {Computability theory},
series = {Chapman and Hall / {CRC} mathematics texts},
publisher = {Chapman {\&} Hall},
year = {2004},
isbn = {978-1-58488-237-4},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0011912.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ArslanovCL04,
author = {Marat M. Arslanov and
S. Barry Cooper and
Angsheng Li},
title = {There is no low maximal d. c. e. degree - Corrigendum},
journal = {Math. Log. Q.},
volume = {50},
number = {6},
pages = {628--636},
year = {2004},
url = {https://doi.org/10.1002/malq.200410006},
doi = {10.1002/MALQ.200410006},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/ArslanovCL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0014583,
author = {S. Barry Cooper and
Sergey S. Goncharov},
title = {Computability and models - perspectives east and west},
series = {The University series in mathematics},
publisher = {Springer},
year = {2003},
isbn = {978-0-306-47400-2},
timestamp = {Mon, 15 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0014583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CooperLY02,
author = {S. Barry Cooper and
Angsheng Li and
Xiaoding Yi},
title = {On the distribution of Lachlan nonsplitting bases},
journal = {Arch. Math. Log.},
volume = {41},
number = {5},
pages = {455--482},
year = {2002},
url = {https://doi.org/10.1007/s001530100095},
doi = {10.1007/S001530100095},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CooperLY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CooperL02,
author = {S. Barry Cooper and
Angsheng Li},
title = {Splitting and Nonsplitting, {II:} {A} Low\({}_{\mbox{2}}\) {C.E.}
Degree above Which 0' Is Not Splittable},
journal = {J. Symb. Log.},
volume = {67},
number = {4},
pages = {1391--1430},
year = {2002},
url = {https://doi.org/10.2178/jsl/1190150292},
doi = {10.2178/JSL/1190150292},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CooperL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cooper01,
author = {S. Barry Cooper},
title = {On a Conjecture of Kleene and Post},
journal = {Math. Log. Q.},
volume = {47},
number = {1},
pages = {3--33},
year = {2001},
url = {https://doi.org/10.1002/1521-3870(200101)47:1\&\#60;3::AID-MALQ3\&\#62;3.0.CO;2-A},
doi = {10.1002/1521-3870(200101)47:1\&\#60;3::AID-MALQ3\&\#62;3.0.CO;2-A},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cooper01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/ArslanovCL00,
author = {Marat M. Arslanov and
S. Barry Cooper and
Angsheng Li},
title = {There is No Low Maximal {D.C.E.} Degree},
journal = {Math. Log. Q.},
volume = {46},
number = {3},
pages = {409--416},
year = {2000},
url = {https://doi.org/10.1002/1521-3870(200008)46:3\&\#60;409::AID-MALQ409\&\#62;3.0.CO;2-P},
doi = {10.1002/1521-3870(200008)46:3\&\#60;409::AID-MALQ409\&\#62;3.0.CO;2-P},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mlq/ArslanovCL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/99/Cooper99,
author = {S. Barry Cooper},
editor = {Edward R. Griffor},
title = {Local Degree Theory},
booktitle = {Handbook of Computability Theory},
series = {Studies in Logic and the Foundations of Mathematics},
volume = {140},
pages = {121--153},
publisher = {North-Holland},
year = {1999},
url = {https://doi.org/10.1016/s0049-237x(99)80020-2},
doi = {10.1016/S0049-237X(99)80020-2},
timestamp = {Thu, 14 May 2020 15:29:16 +0200},
biburl = {https://dblp.org/rec/books/el/99/Cooper99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperSY96,
author = {S. Barry Cooper and
Andrea Sorbi and
Xiaoding Yi},
title = {Cupping and Noncupping in the Enumeration Degrees of Sigma\({}_{\mbox{2}}\)\({}^{\mbox{0}}\)
Sets},
journal = {Ann. Pure Appl. Log.},
volume = {82},
number = {3},
pages = {317--342},
year = {1996},
url = {https://doi.org/10.1016/S0168-0072(96)00009-7},
doi = {10.1016/S0168-0072(96)00009-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperSY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/CooperS96,
author = {S. Barry Cooper and
Andrea Sorbi},
title = {Noncappable Enumeration Degrees Below 0'\({}_{\mbox{e}}\)},
journal = {J. Symb. Log.},
volume = {61},
number = {4},
pages = {1347--1363},
year = {1996},
url = {https://doi.org/10.2307/2275820},
doi = {10.2307/2275820},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/CooperS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cooper96,
author = {S. Barry Cooper},
title = {Strong Minimal Covers for Recursively Enumerable Degrees},
journal = {Math. Log. Q.},
volume = {42},
pages = {191--196},
year = {1996},
url = {https://doi.org/10.1002/malq.19960420116},
doi = {10.1002/MALQ.19960420116},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cooper96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/CooperY95,
author = {S. Barry Cooper and
Xiaoding Yi},
title = {The discontinuity of splitting in the recursively enumerable degrees},
journal = {Arch. Math. Log.},
volume = {34},
number = {4},
pages = {247--256},
year = {1995},
url = {https://doi.org/10.1007/BF01469381},
doi = {10.1007/BF01469381},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/CooperY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/logicColl/Cooper95,
author = {S. Barry Cooper},
editor = {Johann A. Makowsky and
Elena V. Ravve},
title = {Beyond G{\"{o}}del's Theorem: Turing Nonrigidity Revisited},
booktitle = {Proceedings of the Annual European Summer Meeting of the Association
of Symbolic Logic, Logic Colloquium 1995, Haifa, Israel, August 9-18,
1995},
series = {Lecture Notes in Logic},
volume = {11},
pages = {44--50},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-3-662-22108-2\_3},
doi = {10.1007/978-3-662-22108-2\_3},
timestamp = {Fri, 15 May 2020 14:19:27 +0200},
biburl = {https://dblp.org/rec/conf/logicColl/Cooper95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Cooper91,
author = {S. Barry Cooper},
title = {The density of the low\({}_{\mbox{2}}\)\emph{n}-r.e. degrees},
journal = {Arch. Math. Log.},
volume = {31},
number = {1},
pages = {19--24},
year = {1991},
url = {https://doi.org/10.1007/BF01370692},
doi = {10.1007/BF01370692},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Cooper91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperHLLS91,
author = {S. Barry Cooper and
Leo Harrington and
Alistair H. Lachlan and
Steffen Lempp and
Robert I. Soare},
title = {The d.r.e. Degrees are Not Dense},
journal = {Ann. Pure Appl. Log.},
volume = {55},
number = {2},
pages = {125--151},
year = {1991},
url = {https://doi.org/10.1016/0168-0072(91)90005-7},
doi = {10.1016/0168-0072(91)90005-7},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperHLLS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper89,
author = {S. Barry Cooper},
title = {A Jump Class of Noncappable Degrees},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {324--353},
year = {1989},
url = {https://doi.org/10.2307/2274851},
doi = {10.2307/2274851},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper89a,
author = {S. Barry Cooper},
title = {The Strong Anticupping Property for Recursively Enumerable Degrees},
journal = {J. Symb. Log.},
volume = {54},
number = {2},
pages = {527--539},
year = {1989},
url = {https://doi.org/10.2307/2274867},
doi = {10.2307/2274867},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper89a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/CooperC88,
author = {S. Barry Cooper and
C. S. Copestake},
title = {Properly {\(\Sigma\)}\({}_{\mbox{2}}\) Enumeration Degrees},
journal = {Math. Log. Q.},
volume = {34},
number = {6},
pages = {491--522},
year = {1988},
url = {https://doi.org/10.1002/malq.19880340603},
doi = {10.1002/MALQ.19880340603},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/CooperC88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/CooperE87,
author = {S. Barry Cooper and
Richard L. Epstein},
title = {Complementing below recursively enumerable degrees},
journal = {Ann. Pure Appl. Log.},
volume = {34},
number = {1},
pages = {15--32},
year = {1987},
url = {https://doi.org/10.1016/0168-0072(87)90039-X},
doi = {10.1016/0168-0072(87)90039-X},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/CooperE87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Cooper87,
author = {S. Barry Cooper},
title = {Enumeration Reducibility Using Bounded Information: Counting Minimal
Covers},
journal = {Math. Log. Q.},
volume = {33},
number = {6},
pages = {537--560},
year = {1987},
url = {https://doi.org/10.1002/malq.19870330608},
doi = {10.1002/MALQ.19870330608},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/Cooper87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/McEvoyC85,
author = {Kevin McEvoy and
S. Barry Cooper},
title = {On Minimal Pairs of Enumeration Degrees},
journal = {J. Symb. Log.},
volume = {50},
number = {4},
pages = {983--1001},
year = {1985},
url = {https://doi.org/10.2307/2273985},
doi = {10.2307/2273985},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/McEvoyC85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper84,
author = {S. Barry Cooper},
title = {Partial Degrees and the Density Problem. Part 2: The Enumeration Degrees
of the sigma\({}_{\mbox{2}}\) Sets are Dense},
journal = {J. Symb. Log.},
volume = {49},
number = {2},
pages = {503--513},
year = {1984},
url = {https://doi.org/10.2307/2274181},
doi = {10.2307/2274181},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper82,
author = {S. Barry Cooper},
title = {Partial Degrees and the Density Problem},
journal = {J. Symb. Log.},
volume = {47},
number = {4},
pages = {854--859},
year = {1982},
url = {https://doi.org/10.2307/2273104},
doi = {10.2307/2273104},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper74,
author = {S. Barry Cooper},
title = {Minimal Pairs and High Recursively Enumerable Degrees},
journal = {J. Symb. Log.},
volume = {39},
number = {4},
pages = {655--660},
year = {1974},
url = {https://doi.org/10.2307/2272849},
doi = {10.2307/2272849},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper74.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper73,
author = {S. Barry Cooper},
title = {Minimal Degrees and the Jump Operator},
journal = {J. Symb. Log.},
volume = {38},
number = {2},
pages = {249--271},
year = {1973},
url = {https://doi.org/10.2307/2272061},
doi = {10.2307/2272061},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper73.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/Cooper72,
author = {S. Barry Cooper},
title = {Jump Equivalence of the triangle \({}^{\mbox{0}}\)\({}_{\mbox{2}}\)
Hyperhyperimmune Sets},
journal = {J. Symb. Log.},
volume = {37},
number = {3},
pages = {598--600},
year = {1972},
url = {https://doi.org/10.2307/2272750},
doi = {10.2307/2272750},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/Cooper72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-27 22:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
