Computability and Recursion Theory

Latest research

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

   • Henning Heller
   • Calum Kessler
   • Lisa-Sophie Theemann

   in Mathematische Semesterberichte

   Article Open access 14 November 2025

   

2. 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

   

3. On structural parallelism in formal music semantics

   • Léo Zaradzki

   in Journal of Logic, Language and Information

   Article 11 November 2025

   

4. 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

5. Mappings with Coenumerable Graphs

   • A. S. Morozov

   in Algebra and Logic

   Article 04 November 2025

6. Callan permutations and odd order permutations

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

   in Graphs and Combinatorics

   Article 30 October 2025

7. Lifting Dichotomies

   • Yaroslav Alekseev
   • Yuval Filmus
   • Alexander V. Smal

   in computational complexity

   Article Open access 29 October 2025

8. Preface

   • Natasha Jonoska
   • Ion Petre
   • Grzegorz Rozenberg

   in Natural Computing

   Article 29 October 2025

9. Separation of the Factorization Norm and Randomized Communication Complexity

   • Tsun-Ming Cheung
   • Hamed Hatami
   • Morgan Shirley

   in computational complexity

   Article 27 October 2025

10. Quantum Automating TC⁰-Frege Is LWE-Hard

    • Noel Arteche
    • Gaia Carenini
    • Matthew Gray

    in computational complexity

    Article Open access 27 October 2025

11. Refinement of interval approximations for fully commutative quivers

    • Yasuaki Hiraoka
    • Ken Nakashima
    • Chenguang Xu

    in Japan Journal of Industrial and Applied Mathematics

    Article Open access 23 October 2025

    

12. Instance-Wise Hardness and Refutation versus Derandomization for Arthur-Merlin Protocols

    • Dieter van Melkebeek
    • Nicollas Mocelin Sdroievski

    in computational complexity

    Article Open access 23 October 2025

13. All-gluon amplitudes with off-shell recursion in multiplet bases

    • Oskar Bolinder
    • Rikkert Frederix
    • Malin Sjodahl

    in Journal of High Energy Physics

    Article Open access 21 October 2025

14. Asymptotically Free Broadcast in Constant Expected Time via Packed VSS

    • Ittai Abraham
    • Gilad Asharov
    • Arpita Patra

    in Journal of Cryptology

    Article 15 October 2025

    

15. On-shell recursion relations for tree-level closed string amplitudes

    • Pongwit Srisangyingcharoen
    • Aphiwat Yuenyong

    in The European Physical Journal C

    Article Open access 08 October 2025

16. Insights on split common fixed point problems with multiple output sets

    • Satit Saejung
    • Rapeepan Kraikaew

    in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas

    Article 07 October 2025

    

17. DR-CoT: dynamic recursive chain of thought with meta reasoning for parameter efficient models

    • Aarush Sinha
    • OmKumar Chandra Umakanthan
    • Sudhakaran Gajendran

    in Scientific Reports

    Article Open access 06 October 2025

    

18. Commuting Local Hamiltonian Problem on 2D Beyond Qubits

    • Sandy Irani
    • Jiaqing Jiang

    in Communications in Mathematical Physics

    Article 03 October 2025

    

19. Highest Weight Vectors, Shifted Topological Recursion and Quantum Curves

    • Raphaël Belliard
    • Vincent Bouchard
    • Tanner Nelson

    in Communications in Mathematical Physics

    Article Open access 03 October 2025

    

20. Characterization and Recursive Decomposition of the Tower of Manaus Puzzle Graph

    • Lia Martins
    • Jonas Costa
    • Rosiane de Freitas

    in Matemática Contemporânea

    Article 02 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