×

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: 8 Publications (since 2010)

Latest Volumes

(2010-2023)

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 599 times in 571 Documents Cited by Year
Algorithmic randomness and complexity. Zbl 1221.68005
Downey, Rodney G.; Hirschfeldt, Denis R.
429
2010
Turing computability. Theory and applications. Zbl 1350.03001
Soare, Robert I.
88
2016
Higher-order computability. Zbl 1471.03002
Longley, John; Normann, Dag
49
2015
Apartness and uniformity. A constructive development. Zbl 1248.03002
Bridges, Douglas S.; Vîţă, Luminiţa Simona
18
2011
Handbook of computability and complexity in analysis. Zbl 1472.03001
10
2021
Reverse mathematics. Problems, reductions, and proofs. Zbl 07571046
Dzhafarov, Damir D.; Mummert, Carl
3
2022
The incomputable. Journeys beyond the Turing barrier. Zbl 1372.03005
2
2017
Reverse mathematics. Problems, reductions, and proofs. Zbl 07571046
Dzhafarov, Damir D.; Mummert, Carl
3
2022
Handbook of computability and complexity in analysis. Zbl 1472.03001
10
2021
The incomputable. Journeys beyond the Turing barrier. Zbl 1372.03005
2
2017
Turing computability. Theory and applications. Zbl 1350.03001
Soare, Robert I.
88
2016
Higher-order computability. Zbl 1471.03002
Longley, John; Normann, Dag
49
2015
Apartness and uniformity. A constructive development. Zbl 1248.03002
Bridges, Douglas S.; Vîţă, Luminiţa Simona
18
2011
Algorithmic randomness and complexity. Zbl 1221.68005
Downey, Rodney G.; Hirschfeldt, Denis R.
429
2010
all top 5

Cited by 398 Authors

40 Downey, Rodney Graham
27 Barmpalias, George
24 Stephan, Frank
23 Bienvenu, Laurent
23 Nies, André Otfrid
21 Miller, Joseph S.
17 Greenberg, Noam
16 Calude, Cristian S.
16 Sanders, Sam
16 Yu, Liang
13 Lewis-Pye, Andrew E. M.
13 Porter, Christopher P.
13 Terwijn, Sebastiaan A.
12 Dzhafarov, Damir D.
11 Brattka, Vasco
11 Hirschfeldt, Denis Roman
11 Merkle, Wolfgang
11 Teutsch, Jason
10 Bazhenov, Nikolaĭ Alekseevich
10 Hölzl, Rupert
10 Miyabe, Kenshi
10 Staiger, Ludwig
9 Day, Adam R.
9 Nandakumar, Satyadev
9 Ng, KengMeng
9 Normann, Dag
9 Patey, Ludovic
9 Slaman, Theodore A.
8 Conidis, Chris J.
8 Faĭzrahmanov, Marat Khaidarovich
8 Franklin, Johanna N. Y.
8 Jain, Sanjay
8 Jockusch, Carl G. jun.
8 Shen, Alexander
8 Tadaki, Kohtaro
7 Csima, Barbara F.
7 Kihara, Takayuki
7 Kjos-Hanssen, Bjørn
7 Lutz, Jack H.
7 Lutz, Neil
7 Simpson, Stephen G.
6 Becher, Verónica
6 Mayordomo, Elvira
6 Shafer, Paul
5 Allender, Eric W.
5 Ambos-Spies, Klaus
5 Bauwens, Bruno
5 Bridges, Douglas Suth
5 Diamondstone, David E.
5 Lempp, Steffen
5 Monin, Benoît
5 Reimann, Jan
5 San Mauro, Luca
5 Schupp, Paul E.
4 Andrews, Uri
4 Cenzer, Douglas
4 Cholak, Peter A.
4 Fan, Yun
4 Fang, Nan
4 Hoyrup, Mathieu
4 Kuyper, Rutger
4 McNicholl, Timothy H.
4 Melnikov, Alexander G.
4 Moser, Philippe
4 Mustafa, Manat
4 Petrakis, Iosif
4 Solomon, Reed
4 Steifer, Tomasz
4 Stull, Donald M.
4 Sureson, Claude
4 Taveneaux, Antoine
4 Westrick, Linda Brown
3 Astor, Eric P.
3 Bhojraj, Tejas
3 Binns, Stephen
3 Carl, Merlin
3 Carton, Olivier
3 Case, Adam
3 d’Auriac, Paul-Elliot Anglès
3 De Bock, Jasper
3 de Cooman, Gert
3 Harrison-Trainor, Matthew
3 Hirst, Jeffry Lynn
3 Kräling, Thorsten
3 Kreuzer, Alexander P.
3 Kučera, Antonín
3 McInerney, Michael
3 Mitrović, Melanija
3 Pauly, Arno M.
3 Romano, Daniel Abraham
3 Rossegger, Dino
3 Soskova, Mariya Ivanova
3 Steinberg, Florian
3 Sterkenburg, Tom F.
3 Takemura, Akimichi
3 Thies, Holger
3 Turetsky, Daniel D.
3 Wang, Wei
3 Wu, Guohua
3 Zenil, Hector
...and 298 more Authors
all top 5

Cited in 88 Journals

53 The Journal of Symbolic Logic
48 Annals of Pure and Applied Logic
39 Theoretical Computer Science
31 Information and Computation
27 Theory of Computing Systems
22 Archive for Mathematical Logic
21 The Bulletin of Symbolic Logic
17 Computability
16 Mathematical Logic Quarterly (MLQ)
15 Proceedings of the American Mathematical Society
15 Transactions of the American Mathematical Society
14 Notre Dame Journal of Formal Logic
10 Journal of Computer and System Sciences
10 Logical Methods in Computer Science
8 Journal of Mathematical Logic
7 MSCS. Mathematical Structures in Computer Science
6 Advances in Mathematics
5 Information Processing Letters
5 Israel Journal of Mathematics
4 Siberian Mathematical Journal
4 Journal of Logic and Analysis
3 Journal of Mathematical Physics
3 International Journal of Approximate Reasoning
3 International Journal of Algebra and Computation
3 New Zealand Journal of Mathematics
3 Natural Computing
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 The Review of Symbolic Logic
2 Journal of Statistical Physics
2 Fundamenta Mathematicae
2 Semigroup Forum
2 Advances in Applied Mathematics
2 Statistics & Probability Letters
2 Journal of Complexity
2 Stochastic Processes and their Applications
2 Indagationes Mathematicae. New Series
2 Russian Mathematics
2 Journal of Mathematical Sciences (New York)
2 Foundations of Physics
1 Mathematics of Computation
1 Theory of Probability and its Applications
1 Algebra and Logic
1 Bulletin of the London Mathematical Society
1 Canadian Mathematical Bulletin
1 International Journal of Game Theory
1 Journal of Algebra
1 Journal of Philosophical Logic
1 Memoirs of the American Mathematical Society
1 Monatshefte für Mathematik
1 Synthese
1 Tôhoku Mathematical Journal. Second Series
1 Ergodic Theory and Dynamical Systems
1 Combinatorica
1 Stochastic Analysis and Applications
1 Journal of the American Mathematical Society
1 Sugaku Expositions
1 International Journal of Foundations of Computer Science
1 Games and Economic Behavior
1 Godishnik na Sofiĭskiya Universitet “Sv. Kliment Okhridski”. Fakultet po Matematika i Informatika
1 L’Enseignement Mathématique. 2e Série
1 Journal of Knot Theory and its Ramifications
1 Formal Methods in System Design
1 Journal of Logic, Language and Information
1 The Electronic Journal of Combinatorics
1 Journal of Functional Programming
1 Discrete and Continuous Dynamical Systems
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Matematicheskie Trudy
1 Erkenntnis
1 Acta Mathematica Sinica. English Series
1 Foundations of Science
1 Communications in Contemporary Mathematics
1 Fundamenta Informaticae
1 La Gaceta de la Real Sociedad Matemática Española
1 Kragujevac Journal of Mathematics
1 Journal of Machine Learning Research (JMLR)
1 ACM Transactions on Computational Logic
1 Oberwolfach Reports
1 Optimization Letters
1 Journal of Physics A: Mathematical and Theoretical
1 Asian-European Journal of Mathematics
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
1 Transactions of the American Mathematical Society. Series B

Citations by Year