Journal of Logical and Algebraic Methods in Programming

SCI期刊JCR分区

SCI期刊JCR分区等级：1区

按学科分区

LOGIC

COMPUTER SCIENCE, THEORY & METHODS

最新中科院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

期刊官网

http://www.journals.elsevier.com/journal-of-logical-and-algebraic-methods-in-programming/

涉及的研究方向

COMPUTER SCIENCE, THEORY & METHODS-LOGIC

年文章数

出版国家或地区

UNITED STATES

是否OA

否

SCI期刊收录Coverage

Science Citation Index (已不再单独更新，统称SCIE)

Science Citation Index Expanded (SCIE)

Scopus (CiteScore)

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