| 2019 | A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ). Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen |
| 2019 | An algorithmic approach to characterizations of admissibles. Bruno Durand, Grégory Lafitte |
| 2019 | Borel and Baire Sets in Bishop Spaces. Iosif Petrakis |
| 2019 | Bounded Reducibility for Computable Numberings. Nikolay Bazhenov, Manat Mustafa, Sergei Ospichev |
| 2019 | Cohesive Powers of Linear Orders. Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev |
| 2019 | Complexity of Conjunctive Regular Path Query Homomorphisms. Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard |
| 2019 | Complexity of Maximum Fixed Point Problem in Boolean Networks. Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard |
| 2019 | Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero |
| 2019 | Correctness, Explanation and Intention. Raymond Turner |
| 2019 | Degree Spectra for Transcendence in Fields. Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens |
| 2019 | Destroying Bicolored P Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer |
| 2019 | Effective Embeddings for Pairs of Structures. Nikolay Bazhenov, Hristo Ganchev, Stefan V. Vatev |
| 2019 | Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. Jirí Wiedermann, Jan van Leeuwen |
| 2019 | Higher Type Recursion for Transfinite Machine Theory. Philip D. Welch |
| 2019 | Kalmár's Argument for the Independence of Computer Science. Máté Szabó |
| 2019 | More Intensional Versions of Rice's Theorem. Jean-Yves Moyen, Jakob Grue Simonsen |
| 2019 | Nets and Reverse Mathematics - Some Initial Results. Sam Sanders |
| 2019 | Non-Recursive Trade-Offs Are "Almost Everywhere". Markus Holzer, Martin Kutrib |
| 2019 | On Approximate Uncomputability of the Kolmogorov Complexity Function. Ruslan Ishkuvatov, Daniil Musatov |
| 2019 | On the Differences and Sums of Strongly Computably Enumerable Real Numbers. Klaus Ambos-Spies, Xizhong Zheng |
| 2019 | Probabilistic Analysis of Facility Location on Random Shortest Path Metrics. Stefan Klootwijk, Bodo Manthey |
| 2019 | Recent Advances in the Computation of the Homology of Semialgebraic Sets. Felipe Cucker |
| 2019 | Representations of Natural Numbers and Computability of Various Functions. Michal Wroclawski |
| 2019 | Study of Stepwise Simulation Between ASM. Patrick Cégielski, Julien Cervelle |
| 2019 | Surreal Blum-Shub-Smale Machines. Lorenzo Galeotti |
| 2019 | The d.r.e wtt-Degrees are Dense. Shaoyi Wang, Guohua Wu, Mars M. Yamaleev |
| 2019 | Towards Uniform Online Spherical Tessellations. Paul C. Bell, Igor Potapov |
| 2019 | Uniform Relativization. Kenshi Miyabe |