Journal of Logical and Algebraic Methods in Programming
期刊ISSN: 2352-2208
E-ISSN: 2352-2216
影响因子: 登录后查看数据
自引率: 19.8%
SCI期刊JCR分区
SCI期刊JCR分区等级:1区
按学科分区
LOGIC
Q1
COMPUTER SCIENCE, THEORY & METHODS
Q3
最新中科院SCI期刊分区(基础版)
大类学科
工程技术
4区
小类学科
计算机:理论方法
4区
逻辑学
3区
Top期刊
综述期刊
最新中科院SCI期刊分区(升级版)
大类学科
计算机科学
3区
小类学科
逻辑学
2区
计算机:理论方法
3区
Top期刊
综述期刊
期刊简介
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.
出版信息
出版商
Elsevier BV
涉及的研究方向
COMPUTER SCIENCE, THEORY & METHODS-LOGIC
年文章数
64
出版国家或地区
UNITED STATES
是否OA
Cite Score相关
Cite Score SJR SNIP 排名
3 0.615 1.179
学科
大类学科:Mathematics
小类学科:Logic
分区
Q1
学科
大类学科:Mathematics
小类学科:Computational Theory and Mathematics
分区
Q2
学科
大类学科:Mathematics
小类学科:Theoretical Computer Science
分区
Q2
学科
大类学科:Mathematics
小类学科:Software
分区
Q3
SCI期刊投稿推荐
JCR分区相关期刊
中科院分区相关期刊
去登录