Journals similar to Archive of formal proofs
20 similar journals ranked by semantic similarity (SPECTER2 embeddings)
| # | Journal | Publisher | Field | Similarity | JLCS | OA | APC |
|---|---|---|---|---|---|---|---|
| 1 | Journal of Automated Reasoning | Springer Nature | Philosophy | 99.1% | 75 | No | 2890 USD |
| 2 | Electronic Notes in Theoretical Computer Science | Elsevier | Software Engineering | 99.1% | 75 | Yes (hybrid) | Free |
| 3 | Electronic Proceedings in Theoretical Computer Science | Open Publishing Association | Philosophy | 99.1% | 80 | Yes (diamond) | Free |
| 4 | Journal of Logical and Algebraic Methods in Programming | Elsevier | Computer Science & Informatics | 99.0% | 55 | No | 2810 USD |
| 5 | BRICS Report Series | Aarhus University Library | Computer Science & Informatics | 98.9% | 55 | Yes (hybrid) | Free |
| 6 | Journal of Functional Programming | Cambridge University Press | Computer Science & Informatics | 98.9% | 75 | No | - |
| 7 | Formal Aspects of Computing | Springer Nature | Computer Science & Informatics | 98.8% | 55 | No | - |
| 8 | Logical Methods in Computer Science | Logical Methods in Computer Science | Computer Science & Informatics | 98.7% | 80 | Yes (diamond) | Free |
| 9 | Scientific Annals of Computer Science | Scientific Annals of Computer Science | Mathematics | 98.6% | 80 | Yes (diamond) | Free |
| 10 | Mathematical Structures in Computer Science | Cambridge University Press | Mathematics | 98.6% | 75 | No | - |
| 11 | Nordic journal of computing | - | Computer Science & Informatics | 98.6% | 35 | No | - |
| 12 | ACM Transactions on Computational Logic | Association for Computing Machinery | Philosophy | 98.6% | 75 | No | - |
| 13 | Proceedings - Symposium on Logic in Computer Science | - | Mathematics | 98.5% | 35 | No | - |
| 14 | ACM SIGLOG News | Association for Computing Machinery | Computer Science & Informatics | 98.5% | 55 | No | - |
| 15 | Acta Informatica | Springer Nature | Biology (General) | 98.5% | 75 | No | 2990 USD |
| 16 | Formal Methods in System Design | Springer Nature | Software Engineering | 98.4% | 75 | No | 3490 USD |
| 17 | EPiC series in computing | - | Software Engineering | 98.3% | 35 | No | - |
| 18 | Journal of Logic and Computation | Oxford University Press | Philosophy | 98.3% | 75 | No | 4151 USD |
| 19 | Science of Computer Programming | Elsevier | Software Engineering | 98.2% | 75 | No | 2460 USD |
| 20 | Bulletin of the European Association for Theoretical Computer Science | - | Biology (General) | 98.1% | 35 | No | - |
Need recommendations for your own manuscript?
Try the AI Journal Finder View on JournalLens