Journal Of Logical And Algebraic Methods In Programming

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.

Journal Of Logical And Algebraic Methods In Programming中文简介

《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的专业工程技术期刊，该刊创刊于2014年，刊期6 issues/year，该刊已被国际权威数据库SCI、SCIE收录。在中科院最新升级版分区表中，该刊分区信息为大类学科：计算机科学 3区，小类学科：逻辑学 2区；计算机：理论方法 3区；在JCR（Journal Citation Reports）分区等级为Q1。该刊发文范围涵盖计算机：理论方法等领域，旨在及时、准确、全面地报道国内外计算机：理论方法工作者在该领域取得的最新研究成果、工作进展及学术动态、技术革新等，促进学术交流，鼓励学术创新。2021年影响因子为1.088，

中科院分区最新升级版（当前数据版本：2021年12月最新升级版）

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

JCR分区（当前数据版本：2021-2022年最新版）

JCR分区等级	JCR所属学科	分区	影响因子
Q1	LOGIC	Q1	1.088
	COMPUTER SCIENCE, THEORY & METHODS	Q3

期刊指数

影响因子	h-index	Gold OA文章占比	研究类文章占比	OA开放访问	平均审稿速度
1.088	9	10.24%	100.00%	未开放	--

IF值(影响因子)趋势图