友情提示：以下期刊信息可能会有更新，仅供参考，请在投稿前自行登录期刊官网仔细核实。
期刊名
Journal of Logical and Algebraic Methods in Programming
J LOG ALGEBR METHODS
ISSN / eISSN
2352-2208 / 2352-2216
目标和范围
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.
研究方向
计算机：理论方法
逻辑学
CiteScore
3.00
查看趋势图
CiteScore 学科排名
| 类别 | 分区 | 排名 |
|---|---|---|
| Mathematics - Logic | Q1 | #5/41 |
| Mathematics - Computational Theory and Mathematics | Q2 | #67/165 |
| Mathematics - Theoretical Computer Science | Q2 | #54/127 |
| Mathematics - Software | Q3 | #243/404 |
Web of Science 核心收藏夹
| Science Citation Index Expanded (SCIE) | Social Sciences Citation Index (SSCI) |
|---|---|
| Indexed | - |
| 类别 (Journal Citation Reports 2023) | 分区 |
|---|---|
| COMPUTER SCIENCE, THEORY & METHODS - SCIE | Q4 |
| LOGIC - SCIE | Q1 |
H-index
9
出版国家或地区
UNITED STATES
出版商
Elsevier BV
年文章数
46
Open Access
NO
通讯方式
STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169
Become a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get StartedAsk a Question. Answer a Question.
Quickly pose questions to the entire community. Debate answers and get clarity on the most important issues facing researchers.
Get Started