| 2023 | A Constructive Picture of Noetherian Conditions and Well Quasi-orders. Gabriele Buriola, Peter Schuster, Ingo Blechschmidt |
| 2023 | All Melodies Are Lost - Recognizability for Weak and Strong α-Register Machines. Merlin Carl |
| 2023 | An $O(\sqrt{k})$-Approximation Algorithm for Minimum Power k Edge Disjoint st-Paths. Zeev Nutov |
| 2023 | Cupping Computably Enumerable Degrees Simultaneously. Hong Hanh Tran, Guohua Wu |
| 2023 | De Groot Duality for Represented Spaces. Takayuki Kihara, Arno Pauly |
| 2023 | Direct Construction of Scott Ideals. Russell G. Miller |
| 2023 | Elementarily Traceable Irrational Numbers. Keita Hiroshima, Akitoshi Kawamura |
| 2023 | Extending Wagner's Hierarchy to Deterministic Visibly Pushdown Automata. Victor L. Selivanov |
| 2023 | Graph Subshifts. Pablo Arrighi, Amélia Durbec, Pierre Guillon |
| 2023 | Improved Complexity Analysis of Quasi-Polynomial Algorithms Solving Parity Games. Pawel Parys, Aleksander Wiacek |
| 2023 | Inequalities for Entropies and Dimensions. Alexander Shen |
| 2023 | Logic vs Topology on Regular ømega-languages. Vladislav Orekhovskii, Victor L. Selivanov |
| 2023 | On Guarded Extensions of MMSNP. Alexey Barsukov, Florent R. Madelaine |
| 2023 | On the Complexity of Learning Programs. Vasco Brattka |
| 2023 | Physical Zero-Knowledge Proof for Ball Sort Puzzle. Suthee Ruangwises |
| 2023 | Some Games on Turing Machines and Power from Random Strings. Alexey Milovanov |
| 2023 | Structural Complexity of Rational Interactive Proofs. Daniil Musatov, Georgii Potapov |
| 2023 | Subrecursive Graphs of Representations of Irrational Numbers. Ivan Georgiev |
| 2023 | Symmetry for Transfinite Computability. Lorenzo Galeotti, Ethan S. Lewis, Benedikt Löwe |
| 2023 | The Complexity of Finding Supergraphs. Vittorio Cipriani, Arno Pauly |
| 2023 | The Non-normal Abyss in Kleene's Computability Theory. Sam Sanders |
| 2023 | The Relationship Between Local and Global Structure in the Enumeration Degrees. Mariya Ivanova Soskova |
| 2023 | Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. Pacôme Perrotin, Sylvain Sené |
| 2023 | Unity of Logic and Computation - 19th Conference on Computability in Europe, CiE 2023, Batumi, Georgia, July 24-28, 2023, Proceedings Gianluca Della Vedova, Besik Dundua, Steffen Lempp, Florin Manea |