Computability and Recursion Theory

Latest research

1. Hypernode automata

   • Ezio Bartocci
   • Marek Chalupa
   • Ana Oliveira da Costa

   in Acta Informatica

   Article Open access 09 December 2025

   

2. Integers represented by binary recursive sequences

   • Lajos Hajdu
   • Rob Tijdeman

   in The Ramanujan Journal

   Article Open access 08 December 2025

3. A Disproof of Two Conjectures on Stack-Sorting Maps for Words

   • Olivia Chen
   • Michael Luo
   • Jerry Zhang

   in Annals of Combinatorics

   Article 01 December 2025

   

4. A reduced Mason’s rule for solving linear systems of equations recursively: an application to the integrated ownership problem in a network of companies

   • Federica Ricca
   • Andrea Scozzari

   in Annals of Operations Research

   Article 01 December 2025

   

5. Trees with at Least \(6\ell +11\) Vertices are \(\ell \)-Reconstructible

   • Alexandr V. Kostochka
   • Mina Nahvi
   • Dara Zirlin

   in Graphs and Combinatorics

   Article 01 December 2025

   

6. Recursions for Multi-Component Extensions of the q-Dyson Constant Term Identity

   • Wenlong Jiang
   • Suzhen Wen
   • Yue Zhou

   in Annals of Combinatorics

   Article 28 November 2025

7. Gravity MHV amplitudes via Berends-Giele currents

   • Chanon Hasuwannakit
   • Kirill Krasnov

   in Journal of High Energy Physics

   Article Open access 24 November 2025

8. From Data Completion to Problems on Hypercubes: A Parameterized Analysis of the Independent Set Problem

   • Eduard Eiben
   • Robert Ganian
   • Stefan Szeider

   in Algorithmica

   Article Open access 17 November 2025

9. Choquet Capacities and Fuzzy Integrals

   • Gleb Beliakov
   • Simon James
   • Jian-Zhang Wu

   in Theory and Applications of Computability

   Book 2025

   

10. Complete Ergodicity in One-Dimensional Reversible Cellular Automata

    • Naoto Shiraishi
    • Shinji Takesue

    in Journal of Statistical Physics

    Article Open access 15 November 2025

    

11. Über Blümchen und Girlanden im Pascalschen Dreieck

    • Henning Heller
    • Calum Kessler
    • Lisa-Sophie Theemann

    in Mathematische Semesterberichte

    Article Open access 14 November 2025

    

12. Runtime vs. Extracted Proof Size: An Exponential Gap for CDCL on QBFs

    • Olaf Beyersdorff
    • Benjamin Böhm
    • Meena Mahajan

    in Journal of Automated Reasoning

    Article Open access 12 November 2025

    

13. Voting models and tightness for a family of recursion equations

    • Xaver Kriechbaum
    • Lenya Ryzhik
    • Ofer Zeitouni

    in Journal d'Analyse Mathématique

    Article Open access 12 November 2025

14. Congruence counting in Schottky and continued fractions semigroups of SO(n, 1)

    • Pratyush Sarkar

    in Journal d'Analyse Mathématique

    Article 12 November 2025

15. On structural parallelism in formal music semantics

    • Léo Zaradzki

    in Journal of Logic, Language and Information

    Article 11 November 2025

    

16. On the hausdorff dimension of maximal chains and antichains of turing and hyperarithmetic degrees

    • Sirun Song
    • Liang Yu

    in Archive for Mathematical Logic

    Article 09 November 2025

17. Mappings with Coenumerable Graphs

    • A. S. Morozov

    in Algebra and Logic

    Article 04 November 2025

18. Callan permutations and odd order permutations

    • Rosena R. X. Du
    • Zhicong Lin
    • Tongyuan Zhao

    in Graphs and Combinatorics

    Article 30 October 2025

19. Lifting Dichotomies

    • Yaroslav Alekseev
    • Yuval Filmus
    • Alexander V. Smal

    in computational complexity

    Article Open access 29 October 2025

20. Preface

    • Natasha Jonoska
    • Ion Petre
    • Grzegorz Rozenberg

    in Natural Computing

    Article 29 October 2025

Related journals

• 

  Journal

  Theory of Computing Systems

  Theory of Computing Systems (TOCS) is devoted to publishing original research from all areas of theoretical computer science, ranging from...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.4 (2024)

  Downloads

  101,262 (2024)

  Submission to first decision(median)

  5 days

• 

  Journal

  Acta Informatica

  Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.5 (2024)

  Downloads

  61,075 (2024)

  Submission to first decision(median)

  12 days

• 

  Journal

  Archive for Mathematical Logic

  The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.4 (2024)

  Downloads

  53,508 (2024)

  Submission to first decision(median)

  32 days