查看最新文献
订阅
分享
7375中文名称：
程序设计中的逻辑和代数方法杂志
期刊缩写：
J. Logical Algebraic Methods Program.
影响因子：
1.2
ISSN：
print: 2352-2208
on-line: 2352-2216
on-line: 2352-2216
研究领域：
COMPUTER SCIENCE, THEORY & METHODS-LOGIC
h-index：
9
自引率：
22.20%
Gold OA文章占比：
41.51%
原创研究文献占比：
100.00%
SCI收录类型：
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊介绍英文：
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：
| CiteScore | SJR | SNIP | CiteScore排名 |
|---|---|---|---|
| 2.6 | 0.577 | 1.034 | 学科 排名 百分位 大类：Mathematics 小类：Logic 9 / 41 79% 大类：Computer Science 小类：Computational Theory and Mathematics 91 / 176 48% 大类：Mathematics 小类：Theoretical Computer Science 70 / 130 46% 大类：Computer Science 小类：Software 276 / 407 32% |
发文信息
中科院SCI期刊分区
2025年3月20日发布
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 4区 数学 | 4区 计算机：理论方法 COMPUTER SCIENCE, THEORY & METHODS 4区 逻辑学 LOGIC | 否 | 否 |
2023年12月发布
| 大类 | 小类 | TOP期刊 | 综述期刊 |
|---|---|---|---|
| 4区 数学 |
4区
计算机：理论方法
COMPUTER SCIENCE, THEORY & METHODS
4区
逻辑学
LOGIC
|
否 | 否 |
WOS期刊分区
| 学科分类 |
|---|
Q3COMPUTER SCIENCE, THEORY & METHODS Q1LOGIC |
历年影响因子
| 2015年 | 0.6360 |
|---|---|
| 2016年 | 0.6920 |
| 2017年 | 0.6340 |
| 2018年 | 0.6320 |
| 2019年 | 0.6850 |
| 2020年 | 0.5810 |
| 2021年 | 1.0880 |
| 2022年 | 0.9000 |
| 2023年 | 0.7000 |
| 2024年 | 1.2000 |
历年发表
| 2013年 | 0 |
|---|---|
| 2014年 | 34 |
| 2015年 | 61 |
| 2016年 | 82 |
| 2017年 | 76 |
| 2018年 | 67 |
| 2019年 | 78 |
| 2020年 | 53 |
| 2021年 | 66 |
| 2022年 | 48 |
投稿信息
出版语言：
English
出版国家(地区)：
UNITED STATES
接受率：
33%
初审时长：
10 weeks
发表时长：
3 weeks
论文处理费：
$2810
出版商：
Elsevier BV
编辑部地址：
STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169
Journal of Logical and Algebraic Methods in Programming - 最新文献
Makina: A QuickCheck state machine library
Pub Date : 2025-10-17 DOI: 10.1016/j.jlamp.2025.101096 Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac-Earle, Julio MariñoUnified opinion formation analysis in rewriting logic
Pub Date : 2025-10-10 DOI: 10.1016/j.jlamp.2025.101095 Carlos Olarte , Carlos Ramírez , Camilo Rocha , Frank ValenciaOn the inner structure of multirelations
Pub Date : 2025-10-09 DOI: 10.1016/j.jlamp.2025.101094 Hitoshi Furusawa , Walter Guttmann , Georg Struth
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
