Journal Of Logical And Algebraic Methods In Programming

Journal Of Logical And Algebraic Methods In Programming英文簡(jiǎn)介

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中文簡(jiǎn)介

《Journal Of Logical And Algebraic Methods In Programming》是一本由ELSEVIER SCIENCE INC出版商出版的專(zhuān)業(yè)工程技術(shù)期刊，該刊創(chuàng)刊于2014年，刊期6 issues/year，該刊已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCI、SCIE收錄。在中科院最新升級(jí)版分區(qū)表中，該刊分區(qū)信息為大類(lèi)學(xué)科：計(jì)算機(jī)科學(xué) 3區(qū)，小類(lèi)學(xué)科：邏輯學(xué) 2區(qū)；計(jì)算機(jī)：理論方法 3區(qū)；在JCR（Journal Citation Reports）分區(qū)等級(jí)為Q1。該刊發(fā)文范圍涵蓋計(jì)算機(jī)：理論方法等領(lǐng)域，旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外計(jì)算機(jī)：理論方法工作者在該領(lǐng)域取得的最新研究成果、工作進(jìn)展及學(xué)術(shù)動(dòng)態(tài)、技術(shù)革新等，促進(jìn)學(xué)術(shù)交流，鼓勵(lì)學(xué)術(shù)創(chuàng)新。2021年影響因子為1.088，

中科院分區(qū)最新升級(jí)版（當(dāng)前數(shù)據(jù)版本：2021年12月最新升級(jí)版）

大類(lèi)學(xué)科	分區(qū)	小類(lèi)學(xué)科	分區(qū)	Top期刊	綜述期刊
計(jì)算機(jī)科學(xué)	3區(qū)	LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法	2區(qū) 3區(qū)	否	否

JCR分區(qū)（當(dāng)前數(shù)據(jù)版本：2021-2022年最新版）

JCR分區(qū)等級(jí)	JCR所屬學(xué)科	分區(qū)	影響因子
Q1	LOGIC	Q1	1.088
	COMPUTER SCIENCE, THEORY & METHODS	Q3

期刊指數(shù)

影響因子	h-index	Gold OA文章占比	研究類(lèi)文章占比	OA開(kāi)放訪問(wèn)	平均審稿速度
1.088	9	10.24%	100.00%	未開(kāi)放	--

IF值(影響因子)趨勢(shì)圖