當前位置：首頁 JCRQ1 期刊介紹(非官網(wǎng))

Journal Of Logical And Algebraic Methods In ProgrammingSCIE

國際簡稱：J LOG ALGEBR METHODS 參考譯名：程序設計中的邏輯和代數(shù)方法雜志

中科院分區(qū)
4區(qū)
CiteScore分區(qū)
Q1
JCR分區(qū)
Q1

基本信息：: ISSN：2352-2208; E-ISSN：2352-2216; 是否OA：未開放; 是否預警：否; TOP期刊：否

出版信息：: 出版地區(qū)：UNITED STATES; 出版商：Elsevier BV; 出版語言：English; 出版周期：6 issues/year; 出版年份：2014; 研究方向：COMPUTER SCIENCE, THEORY & METHODS-LOGIC

評價信息：: 影響因子：0.7; H-index：9; CiteScore指數(shù)：2.6; SJR指數(shù)：0.577; SNIP指數(shù)：1.034

發(fā)文數(shù)據(jù)：: Gold OA文章占比：41.51%; 研究類文章占比：100.00%; 年發(fā)文量：44; 自引率：0.2222...; 開源占比：0.1533; 出版撤稿占比：0; 出版國人文章占比：0.01; OA被引用占比：0.0263...

投稿咨詢加急見刊

英文簡介期刊介紹 CiteScore數(shù)據(jù) 中科院SCI分區(qū) JCR分區(qū) 發(fā)文數(shù)據(jù) 常見問題

英文簡介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》自2014出版以來，是一本數(shù)學優(yōu)秀雜志。致力于發(fā)表原創(chuàng)科學研究結果，并為數(shù)學各個領域的原創(chuàng)研究提供一個展示平臺，以促進數(shù)學領域的的進步。該刊鼓勵先進的、清晰的闡述，從廣泛的視角提供當前感興趣的研究主題的新見解，或審查多年來某個重要領域的所有重要發(fā)展。該期刊特色在于及時報道數(shù)學領域的最新進展和新發(fā)現(xiàn)新突破等。該刊近一年未被列入預警期刊名單，目前已被權威數(shù)據(jù)庫SCIE收錄，得到了廣泛的認可。

該期刊投稿重要關注點：

預計審稿時間：
數(shù)學
COMPUTER SCIENCE, THEORY & METHODS
SCIE
中科院4區(qū)
非預警

Cite Score數(shù)據(jù)（2024年最新版）Journal Of Logical And Algebraic Methods In Programming Cite Score數(shù)據(jù)

CiteScore：2.6
SJR：0.577
SNIP：1.034

學科類別	分區(qū)	排名	百分位
大類：Mathematics 小類：Logic	Q1	9 / 41	79%
大類：Mathematics 小類：Computational Theory and Mathematics	Q3	91 / 176	48%
大類：Mathematics 小類：Theoretical Computer Science	Q3	70 / 130	46%
大類：Mathematics 小類：Software	Q3	276 / 407	32%

CiteScore 是由Elsevier(愛思唯爾)推出的另一種評價期刊影響力的文獻計量指標。反映出一家期刊近期發(fā)表論文的年篇均引用次數(shù)。CiteScore以Scopus數(shù)據(jù)庫中收集的引文為基礎，針對的是前四年發(fā)表的論文的引文。CiteScore的意義在于，它可以為學術界提供一種新的、更全面、更客觀地評價期刊影響力的方法，而不僅僅是通過影響因子(IF)這一單一指標來評價。

歷年Cite Score趨勢圖

中科院SCI分區(qū)Journal Of Logical And Algebraic Methods In Programming 中科院分區(qū)

中科院 2023年12月升級版 綜述期刊：否 Top期刊：否

大類學科	分區(qū)	小類學科	分區(qū)
數(shù)學	4區(qū)	COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學	4區(qū) 4區(qū)

中科院分區(qū)表 是以客觀數(shù)據(jù)為基礎，運用科學計量學方法對國際、國內(nèi)學術期刊依據(jù)影響力進行等級劃分的期刊評價標準。它為我國科研、教育機構的管理人員、科研工作者提供了一份評價國際學術期刊影響力的參考數(shù)據(jù)，得到了全國各地高校、科研機構的廣泛認可。

中科院分區(qū)表 將所有期刊按照一定指標劃分為1區(qū)、2區(qū)、3區(qū)、4區(qū)四個層次，類似于“優(yōu)、良、及格”等。最開始，這個分區(qū)只是為了方便圖書管理及圖書情報領域的研究和期刊評估。之后中科院分區(qū)逐步發(fā)展成為了一種評價學術期刊質量的重要工具。

歷年中科院分區(qū)趨勢圖

JCR分區(qū)Journal Of Logical And Algebraic Methods In Programming JCR分區(qū)

2023-2024 年最新版

按JIF指標學科分區(qū)	收錄子集	分區(qū)	排名	百分位
學科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q3	104 / 143	27.6%
學科：LOGIC	SCIE	Q1	4 / 25	86%

按JCI指標學科分區(qū)	收錄子集	分區(qū)	排名	百分位
學科：COMPUTER SCIENCE, THEORY & METHODS	SCIE	Q2	45 / 143	68.88%
學科：LOGIC	SCIE	Q2	8 / 25	70%

JCR分區(qū)的優(yōu)勢在于它可以幫助讀者對學術文獻質量進行評估。不同學科的文章引用量可能存在較大的差異，此時單獨依靠影響因子(IF)評價期刊的質量可能是存在一定問題的。因此，JCR將期刊按照學科門類和影響因子分為不同的分區(qū)，這樣讀者可以根據(jù)自己的研究領域和需求選擇合適的期刊。

歷年影響因子趨勢圖

發(fā)文數(shù)據(jù)

2023-2024 年國家/地區(qū)發(fā)文量統(tǒng)計

國家/地區(qū)數(shù)量
Italy35
France27
England24
GERMANY (FED REP GER)23
Spain21
USA19
Sweden16
Norway13
Denmark12
Netherlands12

本刊中國學者近年發(fā)表論文

1、A denotational semantics of Simulink with higher-order UTP
Author: Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun

Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 130, Issue , pp. -. DOI: 10.1016/j.jlamp.2022.100809
2、Formalization of the inverse kinematics of three-fingered dexterous hand
Author: Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi

Journal: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING. 2023; Vol. 133, Issue , pp. -. DOI: 10.1016/j.jlamp.2023.100861
3、Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
Author: Minxia Luo, Bei Liu

Journal: Journal of Logical and Algebraic Methods in Programming, 2017, Vol.86, 298-307, DOI:10.1016/j.jlamp.2016.09.006
4、Developments in concurrent Kleene algebra
Author: Tony Hoare, Stephan van Staden, Bernhard M?ller, Georg Struth, Huibiao Zhu

Journal: Journal of Logical and Algebraic Methods in Programming, 2016, Vol.85, 617-636, DOI:10.1016/j.jlamp.2015.09.012
5、An optimal resource sharing protocol for generalized multiframe tasks
Author: Pontus Ekberg, Nan Guan, Martin Stigge, Wang Yi

Journal: Journal of Logical and Algebraic Methods in Programming, 2015, Vol.84, 92-105, DOI:10.1016/j.jlamp.2014.10.001