Theory and Applications of Computability Short Title: Theory Appl. Comput. Publisher: Springer, Cham ISSN: 2190-619X; 2190-6203/e Online: https://rd.springer.com/bookseries/8819 Comments: Book series Documents Indexed: 6 Publications (since 2010) Latest Volumes (2010-2021) all top 5 Authors / Editors 1 Brattka, Vasco 1 Bridges, Douglas Suth 1 Downey, Rodney Graham 1 Hertling, Peter H. 1 Hirschfeldt, Denis Roman 1 Longley, John R. 1 Normann, Dag 1 Soare, Robert I. 1 Soskova, Mariya Ivanova 1 Vîţă, Luminiţa Simona all top 5 Fields 6 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 444 times in 430 Documents Cited by ▼ Year ▼ Algorithmic randomness and complexity. Zbl 1221.68005Downey, Rodney G.; Hirschfeldt, Denis R. 356 2010 Turing computability. Theory and applications. Zbl 1350.03001Soare, Robert I. 43 2016 Higher-order computability. Zbl 1471.03002Longley, John; Normann, Dag 32 2015 Apartness and uniformity. A constructive development. Zbl 1248.03002Bridges, Douglas S.; Vîţă, Luminiţa Simona 12 2011 Handbook of computability and complexity in analysis. Zbl 1472.03001 1 2021 Handbook of computability and complexity in analysis. Zbl 1472.03001 1 2021 Turing computability. Theory and applications. Zbl 1350.03001Soare, Robert I. 43 2016 Higher-order computability. Zbl 1471.03002Longley, John; Normann, Dag 32 2015 Apartness and uniformity. A constructive development. Zbl 1248.03002Bridges, Douglas S.; Vîţă, Luminiţa Simona 12 2011 Algorithmic randomness and complexity. Zbl 1221.68005Downey, Rodney G.; Hirschfeldt, Denis R. 356 2010 all cited Publications top 5 cited Publications all top 5 Cited by 299 Authors 36 Downey, Rodney Graham 23 Barmpalias, George 21 Nies, André Otfrid 21 Stephan, Frank 20 Bienvenu, Laurent 18 Miller, Joseph S. 16 Greenberg, Noam 15 Calude, Cristian S. 15 Yu, Liang 12 Terwijn, Sebastiaan A. 10 Hirschfeldt, Denis Roman 10 Hölzl, Rupert 10 Miyabe, Kenshi 10 Sanders, Sam 10 Teutsch, Jason 9 Day, Adam R. 9 Dzhafarov, Damir D. 9 Merkle, Wolfgang 9 Porter, Christopher P. 9 Staiger, Ludwig 8 Brattka, Vasco 8 Conidis, Chris J. 8 Jockusch, Carl G. jun. 8 Lewis-Pye, Andrew E. M. 8 Ng, KengMeng 8 Patey, Ludovic 8 Slaman, Theodore A. 8 Tadaki, Kohtaro 7 Csima, Barbara F. 7 Franklin, Johanna N. Y. 7 Jain, Sanjay 7 Simpson, Stephen G. 6 Becher, Verónica 6 Kjos-Hanssen, Bjørn 6 Lutz, Neil 6 Nandakumar, Satyadev 6 Shen, Alexander 5 Lewis, Andrew E. M. 5 Normann, Dag 5 Reimann, Jan 5 Rute, Jason 5 Shafer, Paul 4 Allender, Eric W. 4 Ambos-Spies, Klaus 4 Bridges, Douglas Suth 4 Diamondstone, David E. 4 Fan, Yun 4 Fang, Nan 4 Kihara, Takayuki 4 Kuyper, Rutger 4 Lempp, Steffen 4 Lutz, Jack H. 4 Monin, Benoît 4 Schupp, Paul E. 4 Stull, Donald M. 4 Taveneaux, Antoine 4 Westrick, Linda Brown 3 Astor, Eric P. 3 Bazhenov, Nikolaĭ Alekseevich 3 Binns, Stephen 3 Carl, Merlin 3 Carton, Olivier 3 Cholak, Peter A. 3 Kräling, Thorsten 3 Kreuzer, Alexander P. 3 Kučera, Antonín 3 Mayordomo, Elvira 3 McNicholl, Timothy H. 3 Pauly, Arno M. 3 Romano, Daniel Abraham 3 Solomon, Reed 3 Sureson, Claude 3 Takemura, Akimichi 3 Turetsky, Daniel D. 3 Wang, Wei 3 Wu, Guohua 2 Alvarez, Nicolás 2 Anderson, Bernard A. 2 Andrews, Uri 2 Arslanov, Marat M. 2 Avigad, Jeremy 2 Barendregt, Hendrik Pieter 2 Bauwens, Bruno 2 Bélanger, David R. 2 Bhojraj, Tejas 2 Brodhead, Paul 2 Cenzer, Douglas 2 Chong, Chi Tat 2 Cooper, Stuart Barry 2 Crvenković, Siniša 2 d’Auriac, Paul-Elliot Anglès 2 De Bock, Jasper 2 de Cooman, Gert 2 Ding, Decheng 2 Dougherty, Randall L. 2 Faĭzrahmanov, Marat Khaidarovich 2 Fenner, Stephen A. 2 Harrison-Trainor, Matthew 2 Hendtlass, Matthew Ralph John 2 Higuchi, Kojiro ...and 199 more Authors all top 5 Cited in 65 Journals 44 Annals of Pure and Applied Logic 42 The Journal of Symbolic Logic 31 Theoretical Computer Science 25 Information and Computation 25 Theory of Computing Systems 16 The Bulletin of Symbolic Logic 15 Proceedings of the American Mathematical Society 15 Transactions of the American Mathematical Society 15 Archive for Mathematical Logic 12 Notre Dame Journal of Formal Logic 10 Journal of Computer and System Sciences 9 Mathematical Logic Quarterly (MLQ) 8 Computability 7 Journal of Mathematical Logic 7 Logical Methods in Computer Science 6 Advances in Mathematics 6 MSCS. Mathematical Structures in Computer Science 5 Information Processing Letters 4 Israel Journal of Mathematics 4 Journal of Logic and Analysis 3 Natural Computing 2 Journal of Mathematical Physics 2 Journal of Statistical Physics 2 Fundamenta Mathematicae 2 Semigroup Forum 2 Advances in Applied Mathematics 2 Journal of Complexity 2 Stochastic Processes and their Applications 2 New Zealand Journal of Mathematics 2 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 Mathematics of Computation 1 Journal of Algebra 1 Journal of Philosophical Logic 1 Monatshefte für Mathematik 1 Siberian Mathematical Journal 1 Synthese 1 Tohoku Mathematical Journal. Second Series 1 Ergodic Theory and Dynamical Systems 1 Statistics & Probability Letters 1 Combinatorica 1 Stochastic Analysis and Applications 1 International Journal of Approximate Reasoning 1 Journal of the American Mathematical Society 1 Sugaku Expositions 1 International Journal of Algebra and Computation 1 Games and Economic Behavior 1 Indagationes Mathematicae. New Series 1 Russian Mathematics 1 Formal Methods in System Design 1 Journal of Mathematical Sciences (New York) 1 The Electronic Journal of Combinatorics 1 Journal of Functional Programming 1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 1 Erkenntnis 1 Acta Mathematica Sinica. English Series 1 Foundations of Science 1 Kragujevac Journal of Mathematics 1 Oberwolfach Reports 1 Optimization Letters 1 Algorithms 1 Advances in Mathematical Physics 1 RAIRO. Theoretical Informatics and Applications 1 Forum of Mathematics, Sigma 1 Transactions of the London Mathematical Society 1 Research in the Mathematical Sciences all top 5 Cited in 29 Fields 336 Mathematical logic and foundations (03-XX) 221 Computer science (68-XX) 19 Probability theory and stochastic processes (60-XX) 17 Measure and integration (28-XX) 15 General topology (54-XX) 14 Combinatorics (05-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 9 Group theory and generalizations (20-XX) 9 Real functions (26-XX) 8 Statistical mechanics, structure of matter (82-XX) 8 Information and communication theory, circuits (94-XX) 7 History and biography (01-XX) 7 Number theory (11-XX) 7 Quantum theory (81-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 6 Dynamical systems and ergodic theory (37-XX) 5 Category theory; homological algebra (18-XX) 4 General and overarching topics; collections (00-XX) 3 Statistics (62-XX) 2 Operator theory (47-XX) 2 Biology and other natural sciences (92-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Algebraic topology (55-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Mathematics education (97-XX) Citations by Year