- 數(shù)據(jù)庫(kù)收錄SCIE
- 創(chuàng)刊年份2014年
- 年發(fā)文量44
- H-index9
Journal Of Logical And Algebraic Methods In Programming
期刊中文名：程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志ISSN：2352-2208E-ISSN：2352-2216
該雜志國(guó)際簡(jiǎn)稱：J LOG ALGEBR METHODS，是由出版商Elsevier BV出版的一本致力于發(fā)布數(shù)學(xué)研究新成果的的專業(yè)學(xué)術(shù)期刊。該雜志以COMPUTER SCIENCE, THEORY & METHODS研究為重點(diǎn)，主要發(fā)表刊登有創(chuàng)見(jiàn)的學(xué)術(shù)論文文章、行業(yè)最新科研成果，扼要報(bào)道階段性研究成果和重要研究工作的最新進(jìn)展，選載對(duì)學(xué)科發(fā)展起指導(dǎo)作用的綜述與專論，促進(jìn)學(xué)術(shù)發(fā)展，為廣大讀者服務(wù)。該刊是一本國(guó)際優(yōu)秀雜志，在國(guó)際上有很高的學(xué)術(shù)影響力。
雜志介紹
Journal Of Logical And Algebraic Methods In Programming雜志介紹
《Journal Of Logical And Algebraic Methods In Programming》是一本以English為主的未開(kāi)放獲取國(guó)際優(yōu)秀期刊，中文名稱程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志，本刊主要出版、報(bào)道數(shù)學(xué)-COMPUTER SCIENCE, THEORY & METHODS領(lǐng)域的研究動(dòng)態(tài)以及在該領(lǐng)域取得的各方面的經(jīng)驗(yàn)和科研成果，介紹該領(lǐng)域有關(guān)本專業(yè)的最新進(jìn)展，探討行業(yè)發(fā)展的思路和方法，以促進(jìn)學(xué)術(shù)信息交流，提高行業(yè)發(fā)展。該刊已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCIE收錄，為該領(lǐng)域相關(guān)學(xué)科的發(fā)展起到了良好的推動(dòng)作用，也得到了本專業(yè)人員的廣泛認(rèn)可。該刊最新影響因子為0.7，最新CiteScore 指數(shù)為2.6。
本刊近期中國(guó)學(xué)者發(fā)表的論文主要有：
-
A denotational semantics of Simulink with higher-order UTP
Author: Xu, Xiong; Zhan, Bohua; Wang, Shuling; Talpin, Jean-Pierre; Zhan, Naijun
-
Formalization of the inverse kinematics of three-fingered dexterous hand
Author: Wang, Guohui; Chen, Shanyan; Guan, Yong; Shi, Zhiping; Li, Ximeng; Zhang, Jingzhi
-
Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance
Author: Minxia Luo, Bei Liu
-
Developments in concurrent Kleene algebra
Author: Tony Hoare, Stephan van Staden, Bernhard M?ller, Georg Struth, Huibiao Zhu
英文介紹
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.
中科院SCI分區(qū)
Journal Of Logical And Algebraic Methods In Programming雜志中科院分區(qū)信息
| 2023年12月升級(jí)版 |
綜述：否
TOP期刊：否
大類：數(shù)學(xué) 4區(qū)
小類：
COMPUTER SCIENCE, THEORY & METHODS LOGIC |
| 2022年12月升級(jí)版 |
綜述：否
TOP期刊：否
大類：計(jì)算機(jī)科學(xué) 3區(qū)
小類：
LOGIC COMPUTER SCIENCE, THEORY & METHODS |
| 2021年12月舊的升級(jí)版 |
綜述：否
TOP期刊：否
大類：計(jì)算機(jī)科學(xué) 3區(qū)
小類：
LOGIC COMPUTER SCIENCE, THEORY & METHODS |
| 2021年12月基礎(chǔ)版 |
綜述：否
TOP期刊：否
大類：工程技術(shù) 4區(qū)
小類：
COMPUTER SCIENCE, THEORY & METHODS LOGIC |
| 2021年12月升級(jí)版 |
綜述：否
TOP期刊：否
大類：計(jì)算機(jī)科學(xué) 3區(qū)
小類：
LOGIC COMPUTER SCIENCE, THEORY & METHODS |
| 2020年12月舊的升級(jí)版 |
綜述：否
TOP期刊：否
大類：計(jì)算機(jī)科學(xué) 3區(qū)
小類：
LOGIC COMPUTER SCIENCE, THEORY & METHODS |
中科院SCI分區(qū)：是中國(guó)科學(xué)院文獻(xiàn)情報(bào)中心科學(xué)計(jì)量中心的科學(xué)研究成果。期刊分區(qū)表自2004年開(kāi)始發(fā)布，延續(xù)至今；2019年推出升級(jí)版，實(shí)現(xiàn)基礎(chǔ)版、升級(jí)版并存過(guò)渡，2022年只發(fā)布升級(jí)版，期刊分區(qū)表數(shù)據(jù)每年底發(fā)布。 中科院分區(qū)為4個(gè)區(qū)。中科院分區(qū)采用刊物前3年影響因子平均值進(jìn)行分區(qū),即前5%為該類1區(qū)，6%～20%為2區(qū)、21%～50%為3區(qū)，其余的為4區(qū)。1區(qū)和2區(qū)雜志很少，雜志質(zhì)量相對(duì)也高，基本都是本領(lǐng)域的頂級(jí)期刊。
JCR分區(qū)（2023-2024年最新版）
Journal Of Logical And Algebraic Methods In Programming雜志 JCR分區(qū)信息
| 按JIF指標(biāo)學(xué)科分區(qū) |
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS
收錄子集：SCIE
分區(qū)：Q3
排名：104 / 143
百分位：
27.6% 學(xué)科：LOGIC
收錄子集：SCIE
分區(qū)：Q1
排名：4 / 25
百分位：
86% |
| 按JCI指標(biāo)學(xué)科分區(qū) |
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS
收錄子集：SCIE
分區(qū)：Q2
排名：45 / 143
百分位：
68.88% 學(xué)科：LOGIC
收錄子集：SCIE
分區(qū)：Q2
排名：8 / 25
百分位：
70% |
JCR分區(qū)：JCR分區(qū)來(lái)自科睿唯安公司,JCR是一個(gè)獨(dú)特的多學(xué)科期刊評(píng)價(jià)工具，為唯一提供基于引文數(shù)據(jù)的統(tǒng)計(jì)信息的期刊評(píng)價(jià)資源。每年發(fā)布的JCR分區(qū)，設(shè)置了254個(gè)具體學(xué)科。JCR分區(qū)根據(jù)每個(gè)學(xué)科分類按照期刊當(dāng)年的影響因子高低將期刊平均分為4個(gè)區(qū)，分別為Q1、Q2、Q3和Q4，各占25%。JCR分區(qū)中期刊的數(shù)量是均勻分為四個(gè)部分的。
CiteScore 評(píng)價(jià)數(shù)據(jù)（2024年最新版）
Journal Of Logical And Algebraic Methods In Programming雜志CiteScore 評(píng)價(jià)數(shù)據(jù)
- CiteScore 值：2.6
- SJR：0.577
- SNIP：1.034
| 學(xué)科類別 | 分區(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% |
歷年影響因子和期刊自引率
投稿經(jīng)驗(yàn)
Journal Of Logical And Algebraic Methods In Programming雜志投稿經(jīng)驗(yàn)
該雜志是一本國(guó)際優(yōu)秀雜志，在國(guó)際上有較高的學(xué)術(shù)影響力，行業(yè)關(guān)注度很高，已被國(guó)際權(quán)威數(shù)據(jù)庫(kù)SCIE收錄，該雜志在COMPUTER SCIENCE, THEORY & METHODS綜合專業(yè)領(lǐng)域?qū)I(yè)度認(rèn)可很高，對(duì)稿件內(nèi)容的創(chuàng)新性和學(xué)術(shù)性要求很高，作為一本國(guó)際優(yōu)秀雜志，一般投稿過(guò)審時(shí)間都較長(zhǎng)，投稿過(guò)審時(shí)間平均 ，如果想投稿該刊要做好時(shí)間安排。版面費(fèi)不祥。該雜志近兩年未被列入預(yù)警名單，建議您投稿。如您想了解更多投稿政策及投稿方案，請(qǐng)咨詢客服。
免責(zé)聲明
若用戶需要出版服務(wù)，請(qǐng)聯(lián)系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。
同大類學(xué)科相關(guān)期刊
-
Electronic Research Archive
MATHEMATICS
中科院 4區(qū)
-
Nonlinear Analysis-real World Applications
MATHEMATICS, APPLIED
中科院 3區(qū)
-
Inventiones Mathematicae
MATHEMATICS
中科院 1區(qū)
-
Applied Mathematics And Optimization
MATHEMATICS, APPLIED
中科院 2區(qū)
-
Annals Of Mathematics
MATHEMATICS
中科院 1區(qū)
-
Journal Of Graph Theory
MATHEMATICS
中科院 3區(qū)
-
Statistical Papers
STATISTICS & PROBABILITY
中科院 3區(qū)
-
Statistics And Computing
COMPUTER SCIENCE, THEORY & METHODS
中科院 2區(qū)
相關(guān)期刊
Biological Procedures Online Revista General De Derecho Procesal Dynamic Games And Applications Organic Preparations And Procedures International Multimedia Tools And Applications Computers & Mathematics With Applications Journal Of Logical And Algebraic Methods In Programming Peer-to-peer Networking And Applications Theory And Practice Of Logic Programming Expert Systems With Applications