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值(影響因子)趨勢圖