Journal of Logical and Algebraic Methods in Programming Q1区

期刊收录：
SCIE
Scopus

程序设计中的逻辑和代数方法杂志

ISSN：
2352-2208
影响因子：
0.7
是否综述期刊：
否
是否预警：
不在预警名单内
是否OA：
否
jcr分区：
Q1区
发刊时间：
0
发刊频率：
中科院大类：
计算机科学

出版信息

出版国家
UNITED STATES
出版社：
Elsevier BV
数据库：
SCIE,Scopus
年发文量：
46
国人发稿量：
0.46
自引率：
-

平均录取率:-
平均审稿周期:-
版面费:US$2730
研究类文章占比100.00%
被引用占比:2.63%
偏重研究方向:COMPUTER SCIENCE, THEORY & METHODS-LOGIC

杂志官网投稿链接关注公众号

期刊关键词

SCIE Scopus LOGIC Q1 计算机科学 3区逻辑学

期刊简介

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.

《程序设计中的逻辑和代数方法杂志》是一本国际性杂志，其宗旨是发表高质量的原创研究论文、调查和评论文章、教程说明以及逻辑和代数方法和技术领域的历史研究，以保证程序和一般计算系统的正确性和可执行性。所有方面都将涵盖，特别是理论和基础，实施问题，和应用涉及新的想法。

《Journal of Logical and Algebraic Methods in Programming》期刊已被查看：次