查看最新文献
订阅
分享
3534中文名称：
程序设计中的逻辑和代数方法杂志
期刊缩写：
J. Logical Algebraic Methods Program.
影响因子：
0.7
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期刊分区
| 大类 | 小类 | 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 |
历年发表
| 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 - 最新文献
Generation of algebraic data type values using evolutionary algorithms
Pub Date : 2024-11-13 DOI: 10.1016/j.jlamp.2024.101022 Ignacio Ballesteros , Clara Benac-Earle , Julio Mariño , Lars-Åke Fredlund , Ángel HerranzLogic and Calculi for All on the occasion of Luís Barbosa’s 60th birthday
Pub Date : 2024-11-12 DOI: 10.1016/j.jlamp.2024.101023 Alexandre Madeira , José Nuno Oliveira , José Proença , Renato NevesFirst order Büchi automata and their application to verification of LTL specifications
Pub Date : 2024-10-15 DOI: 10.1016/j.jlamp.2024.101021 Wenhui Zhang
免责声明：
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
本页显示期刊或杂志信息，仅供参考学习，不是任何期刊杂志官网，不涉及出版事务，特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题，请联系我们，邮箱：info@booksci.cn，我们会认真核实处理。
京公网安备 11010802042870号
