Journal of Logical and Algebraic Methods in Programming

期刊全称Journal of Logical and Algebraic Methods in Programming
期刊缩写J. Logical Algebraic Methods Program.
涉及主题计算机科学数学程序设计语言理论计算机科学哲学离散数学算法操作系统人工智能工程类纯数学物理语言学几何学组合数学认识论
期刊介绍

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.

期刊ISSNprint: 2352-2208 on-line: 2352-2216
历年影响因子
2025年 2024年 2023年 2022年 2021年 2020年 2019年 2018年
1.20.70.91.0880.5810.6850.6320.634
历年发表/被引量
年份202620252024202320222021202020192018201720162015
发表量193746565658517567637175
被引量11294179175249249545491384679665
h-Index9
自引率28.60%
涉及的研究领域COMPUTER SCIENCE, THEORY & METHODS-LOGIC
2026年新锐分区
大类小类TOP期刊综述期刊
3区3区 计算机：理论方法否N/A
3区逻辑学
中科院2025年分区 ?
大类小类TOP期刊综述期刊
4区4区 计算机：理论方法否否
4区逻辑学
WOS期刊分区

JCR学科分类

JCR分区学科名称收录数据库JCR分区分区排名
COMPUTER SCIENCE, THEORY & METHODSSCIEQ3107/146
LOGICSCIEQ13/27

JCI学科分类

JCI分区学科名称收录数据库JCI分区分区排名
COMPUTER SCIENCE, THEORY & METHODSSCIEQ238/147
LOGICSCIEQ28/27
期刊主页http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/
投稿网址https://www.editorialmanager.com/JLAMP
出版商Elsevier BV
出版国家（地区）UNITED STATES
出版语言English
每年出版文章数64
Gold OA文章占比41.51%
原创研究文献占比
(排除综述)		100.00%
SCI收录类型

Science Citation Index Expanded (SCIE)

Scopus (CiteScore)

PubMed链接http://www.ncbi.nlm.nih.gov/nlmcatalog?term=2352-2208%5BISSN%5D
相关链接

您可以在上述网站查看该期刊的网友互动，及期刊影响力的其它指标。

注：上述信息均来源于网络，仅供查考，如有遗漏或信息错误，欢迎 向我反馈。

期刊相关文献 (0)

暂无相关文献
该期刊暂时没有收录相关文献，请稍后再试