This journal publishes research on computability theory, including its applications to mathematical logic, computer science, and the analysis of mathematical theorems. Articles explore formal models of computation, the computational content of mathematical results, and the properties of computable functions and relations.
AI-summarised from recent articles · verify on the publisher page
⚡ Speed vs Prestige
How does this journal balance review speed with impact level?
Based on the Think.Check.Submit framework by DOAJ, COPE & OASPA. All data from verified open sources.
Publication & Citation Trend
Articles published
Times cited
2018
2019
2020
2021
2022
2023
2024
2025
Source: OpenAlex · Note: citations accumulate over time so older years appear higher
SJR Quartile by Discipline
Scimago ranks this journal separately in each subject category — its quartile can differ by discipline.
Artificial IntelligenceQ3
Computational Theory and MathematicsQ3
Computer Science ApplicationsQ3
Theoretical Computer ScienceQ3
Subject Classification
Web of Science Categories
Mathematics, Applied
Scopus Categories
Computer Science ApplicationsTheoretical Computer ScienceArtificial IntelligenceComputational Theory and Mathematics
Research Topics (OpenAlex)
Computability, Logic, AI Algorithmssemigroups and automata theoryAdvanced Topology and Set TheoryBenford’s Law and Fraud DetectionLogic, programming, and type systemsCellular Automata and ApplicationsLogic, Reasoning, and KnowledgeAdvanced Algebra and LogicMathematical and Theoretical AnalysisAlgorithms and Data Compression