Journal Title：Journal Of Logical And Algebraic Methods In Programming

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.

The Journal of Logical and Algebraic Methods in Programming 是一本国际期刊，其目的是发表关于逻辑和代数方法和技术领域的高质量原创研究论文、调查和评论文章、教程说明以及历史研究。保证程序和一般计算系统的正确性和可执行性。将涵盖所有方面，尤其是理论和基础、实施问题以及涉及新颖思想的应用。

Journal Of Logical And Algebraic Methods In Programming创刊于2014年，由ELSEVIER SCIENCE INC出版商出版，收稿方向涵盖COMPUTER SCIENCE, THEORY & METHODS - LOGIC全领域，此刊是中等级别的SCI期刊，所以过审相对来讲不是特别难，但是该刊专业认可度不错，仍然是一本值得选择的SCI期刊 。影响因子指数0.900，该期刊近期没有被列入国际期刊预警名单，广大学者值得一试。

大类学科	小类学科	分区	Top期刊	综述期刊
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	3区	是	是

名词解释：
中科院分区也叫中科院JCR分区，基础版分为13个大类学科，然后按照各类期刊影响因子分别将每个类别分为四个区， 影响因子5%为1区，6%-20%为2区，21%-50%为3区，其余为4区。

大类学科	小类学科	分区
计算机科学	LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法	3区

名词解释：
JCR没有设置大类，只分为176个具体学科，按当期（1年）的影响因子进行分区；JCR是按照“平均主义”思想， 根据刊物IF的高至低平均划分4个区，每个区含有该领域总量25%的期刊。中科院的分区如同社会阶层的金字塔结构，1区只有5%的顶级期刊， 2~4区期刊数量也逐层增加,所以中科院的1区和2区杂志很少，杂志质量相对也高，基本都是本领域的顶级期刊。

期刊名称	领域	中科院分区	影响因子
Cryptography And Communications-discrete-structures Boolean Functions And Sequen	计算机科学	3区	1.291
User Modeling And User-adapted Interaction	计算机科学	3区	3.600
Journal On Multimodal User Interfaces	计算机科学	3区	2.900
Formal Aspects Of Computing	计算机科学	3区	1.000
International Journal Of High Performance Computing Applications	计算机科学	3区	3.100
International Journal Of High Performance Computing Applications	计算机科学	3区	3.100