Computer Science Foundations and Applied Logic
New in Scopus
Journal
Accepted for Scopus coverage on 29 June 2026
Listed under "Accepted titles" in the official Elsevier Scopus Source List (August 2026). The journal is being added to Scopus — it can take a few weeks before its articles are searchable.
Subject Area and Category
Computer Science
└
Logic, programming, and type systems
└
Formal Methods in Verification
└
Logic, Reasoning, and Knowledge
Publisher
Springer: Birkhauser
SJR
Coming soon
Expected in the next SCImago release
H-Index
5
Total Articles
159
Total Citations
84
2-yr Mean Citedness
0.65
Publication type
Journals
ISSN
2731-5754, 2731-5762
Coverage
2023-2026
Scopus Accepted
29 Jun 2026
Subject Areas
Research Topics
Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Petri Nets in System Modeling
History and Theory of Mathematics
Business Process Modeling and Analysis
Computability, Logic, AI Algorithms
Advanced Algebra and Logic
Publication & Citation Trend
Recent Articles
-
1
-
2
-
3
-
4
-
5
-
6
Sources: Elsevier Scopus Source List (August 2026), OpenAlex. Metrics cover all indexed years. Updated 3 Oct 2026.