Journal of automated reasoning
Published by Springer
Kingdom of the Netherlands · Logic, programming, and type systems
Journal at a glance
- ISSN
- 0168-7433, 1573-0670 (electronic)
- Publisher
- Springer
- Country
- Kingdom of the Netherlands
- Language
- en
Also known as: J Autom Reason (Abbreviation)
Metrics
| Metric | Value | Year | Source |
|---|
| DOIs registered (Crossref) | 1419 | 2026 | Crossref |
| DOIs, current year (Crossref) | 73 | 2026 | Crossref |
| h-index (OpenAlex) | 92 | 2026 | OpenAlex |
| i10-index (OpenAlex) | 689 | 2026 | OpenAlex |
| Works (OpenAlex) | 1438 | 2026 | OpenAlex |
| Citations (OpenAlex) | 37484 | 2026 | OpenAlex |
| 2-year mean citedness (OpenAlex) | 1.067 | 2026 | OpenAlex |
Subjects
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Formal Methods in Verification
- Semantic Web and Ontologies
- Advanced Algebra and Logic
- semigroups and automata theory
- Constraint Satisfaction and Optimization
Similar journals
- Logic journal of the IGPL — United Kingdom · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 6 shared subjects in total
- Fundamenta informaticae — Kingdom of the Netherlands · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total, Same country
- Logical Methods in Computer Science — Germany · Open access · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- EPiC series in computing — United Kingdom · — · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Scientific Annals of Computer Science — Romania · Open access · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
- Logics — Open access · Same subject: Advanced Algebra and Logic, Same subject: Formal Methods in Verification, 5 shared subjects in total
Sources: OpenAlex, NLM Catalog, Crossref · Last verified 2026-09-07
Journal homepage