期刊介绍
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.
期刊语言要求
Language
Please write your text in good English (American or British usage is accepted, but not a mixture of these). Authors who feel their English language manuscript may require editing to eliminate possible grammatical or spelling errors and to conform to correct scientific English may wish to use the English Language Editing service.
投稿要求
CITESCORE
| CiteScore | SJR | SNIP | CiteScore排名 |
|---|
| 2.80 | 0.442 | 0.904 | | 学科 | 分区 | 排名 | 百分位 | 大类:Mathematics 小类:Logic | Q1 | 9 / 43 |
| 大类:Mathematics 小类:Computational Theory and Mathematics | Q2 | 93 / 197 |
| 大类:Mathematics 小类:Theoretical Computer Science | Q2 | 68 / 136 |
| 大类:Mathematics 小类:Software | Q3 | 286 / 490 |
|
|
WOS期刊JCR分区
WOS分区等级:
1区| 按JIF指标学科分区 | 收录子集 | JIF分区 | JIF排名 | JIF百分位 |
| 学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q3 | 86/147 |
|
| 学科:LOGIC | SCIE | Q1 | 1/27 |
|
| 按JCI指标学科分区 | 收录子集 | JCI分区 | JCI排名 | JCI百分位 |
| 学科:COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q1 | 32/147 |
|
| 学科:LOGIC | SCIE | Q1 | 5/27 |
|
期刊分区表预警名单
2025年03月发布的2025版:不在预警名单中
2024年02月发布的2024版:不在预警名单中
2023年01月发布的2023版:不在预警名单中
2021年12月发布的2021版:不在预警名单中
2020年12月发布的2020版:不在预警名单中
中科院2025年3月升级版
点击查看中国科学院期刊分区趋势图| 大类学科 | 小类学科 | Top期刊 | 综述期刊 |
|---|
| 数学 3区4区2区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 2区3区4区 | LOGIC 逻辑学 | 2区1区4区 |
| 否 | 否 |
中科院2023年12月旧的升级版
| 大类学科 | 小类学科 | Top期刊 | 综述期刊 |
|---|
| 数学 1区4区1区 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 4区3区4区 | LOGIC 逻辑学 | 1区3区4区 |
| 否 | 否 |