首頁(yè) > SCI > 數(shù)學(xué) > Journal Of Logical And Algebraic Methods In Programming

發(fā)表咨詢(xún)：400-888-9411 訂閱咨詢(xún)：400-888-1571

Journal Of Logical And Algebraic Methods In Programming

程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志 SCIE

Journal Of Logical And Algebraic Methods In Programming

審稿時(shí)間

4區(qū)中科院分區(qū)

Q1JCR分區(qū)

0.7影響因子

2352-2208

2352-2216

J LOG ALGEBR METHODS

UNITED STATES

COMPUTER SCIENCE, THEORY & METHODS - LOGIC

否

2014

9

6 issues/year

English

44

0.22...

投稿咨詢(xún) 加急服務(wù)

期刊簡(jiǎn)介

程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的一本COMPUTER SCIENCE, THEORY & METHODS-LOGIC學(xué)術(shù)刊物，主要報(bào)道COMPUTER SCIENCE, THEORY & METHODS-LOGIC相關(guān)領(lǐng)域研究成果與實(shí)踐。本刊已入選來(lái)源期刊，該刊創(chuàng)刊于2014年，出版周期6 issues/year。2021-2022年最新版WOS分區(qū)等級(jí)：Q1，2023年發(fā)布的影響因子為0.7，CiteScore指數(shù)2.6，SJR指數(shù)0.577。本刊非開(kāi)放獲取期刊。

《編程中的邏輯和代數(shù)方法雜志》是一本國(guó)際期刊，旨在發(fā)表高質(zhì)量的原創(chuàng)研究論文、調(diào)查和評(píng)論文章、教程闡述和歷史研究，涉及邏輯和代數(shù)方法和技術(shù)領(lǐng)域，以保證程序和一般計(jì)算系統(tǒng)的正確性和可執(zhí)行性。將涵蓋所有方面，尤其是理論和基礎(chǔ)、實(shí)施問(wèn)題以及涉及新想法的應(yīng)用。

中科院分區(qū)信息

程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志2023年12月升級(jí)版
大類(lèi)學(xué)科 分區(qū) 小類(lèi)學(xué)科 分區(qū) Top期刊 綜述期刊
數(shù)學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū) 否 否
程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志2022年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ū) 否 否
程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志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ū) 否 否
程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志2021年12月基礎(chǔ)版
大類(lèi)學(xué)科 分區(qū) 小類(lèi)學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī)：理論方法 LOGIC 邏輯學(xué) 4區(qū) 3區(qū) 否 否
程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志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ū) 否 否
程序設(shè)計(jì)中的邏輯和代數(shù)方法雜志2020年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ū) 否 否
名詞解釋?zhuān)?/b>

中科院JCR期刊分區(qū)（又稱(chēng)分區(qū)表、分區(qū)數(shù)據(jù)）是中國(guó)科學(xué)院文獻(xiàn)情報(bào)中心世界科學(xué)前沿分析中心的科學(xué)研究成果。在中科院期刊分區(qū)表中，主要參考3年平均IF作為學(xué)術(shù)影響力，最終每個(gè)分區(qū)的期刊累積學(xué)術(shù)影響力是相同的，各區(qū)的期刊數(shù)量由高到底呈金字塔式分布。

JCR分區(qū)信息

Journal Of Logical And Algebraic Methods In Programming（2023-2024年最新版數(shù)據(jù)）
按JIF指標(biāo)學(xué)科分區(qū) 收錄子集 分區(qū) 排名 百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143
27.6%
學(xué)科：LOGIC SCIE Q1 4 / 25
86%
按JCI指標(biāo)學(xué)科分區(qū) 收錄子集 分區(qū) 排名 百分位
學(xué)科：COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 45 / 143
68.88%
學(xué)科：LOGIC SCIE Q2 8 / 25
70%
名詞解釋?zhuān)?/b>

湯森路透每年出版一本《期刊引用報(bào)告》（Journal Citation Reports，簡(jiǎn)稱(chēng)JCR）。JCR對(duì)86000多種SCI期刊的影響因子（Impact Factor）等指數(shù)加以統(tǒng)計(jì)。JCR將收錄期刊分為176個(gè)不同學(xué)科類(lèi)別在JCR的Journal Ranking中，主要參考當(dāng)年IF，最終每個(gè)分區(qū)的期刊數(shù)量是均分的。

期刊數(shù)據(jù)統(tǒng)計(jì)

1、Cite Score（2024年最新版）
  • CiteScore：2.6
  • SJR：0.577
  • SNIP：1.034
學(xué)科類(lèi)別 分區(qū) 排名 百分位
大類(lèi)：Mathematics 小類(lèi)：Logic Q1 9 / 41
79%
大類(lèi)：Mathematics 小類(lèi)：Computational Theory and Mathematics Q3 91 / 176
48%
大類(lèi)：Mathematics 小類(lèi)：Theoretical Computer Science Q3 70 / 130
46%
大類(lèi)：Mathematics 小類(lèi)：Software Q3 276 / 407
32%
名詞解釋?zhuān)?/b>

CiteScore：該指標(biāo)由Elsevier于2016年提出，指期刊發(fā)表的單篇文章平均被引用次數(shù)。CiteScorer的計(jì)算方式是：例如，某期刊2022年CiteScore的計(jì)算方法是該期刊在2019年、2020年和2021年發(fā)表的文章在2022年獲得的被引次數(shù)，除以該期刊2019年、2020年和2021發(fā)表并收錄于Scopus中的文章數(shù)量總和。

2、綜合數(shù)據(jù)
  • OA是否開(kāi)放：未開(kāi)放
  • 是否預(yù)警：否
  • 影響因子：0.7
  • Gold OA文章占比：41.51%
  • 研究類(lèi)文章占比：100.00%
  • 開(kāi)源占比： 0.15...
  • 出版國(guó)人文章占比： 0.01
  • OA被引用占比： 0.02...
  • 出版撤稿文章占比： --
3、本刊綜合數(shù)據(jù)對(duì)比及走勢(shì)

文章引用數(shù)據(jù)

文章名稱(chēng) 引用次數(shù)
  • Metalevel algorithms for variant satisfi...

    4
  • From distributed coordination to field c...

    4
  • On the essence and initiality of conflic...

    3
  • From probability monads to commutative e...

    3
  • Multilevel coupled model transformations...

    3
  • Model checking and synthesis for branchi...

    2
  • A logic-algebraic tool for reasoning wit...

    2
  • Verification of finite-state machines: A...

    2
  • Sequential pattern mining for ICT risk a...

    2
  • Axiomatising infinitary probabilistic we...

    2

期刊被引用數(shù)據(jù)

期刊名稱(chēng) 引用次數(shù)
  • J LOG ALGEBR METHODS

    47
  • SCI COMPUT PROGRAM

    7
  • LOG METH COMPUT SCI

    6
  • IEEE ACCESS

    5
  • INT J SOFTW TOOLS TE

    5
  • ACTA INFORM

    4
  • FORM ASP COMPUT

    4
  • MATH STRUCT COMP SCI

    3
  • THEOR COMPUT SCI

    3
  • ACM T PRIV SECUR

    2

期刊引用數(shù)據(jù)

期刊名稱(chēng) 引用次數(shù)
  • THEOR COMPUT SCI

    108
  • J LOG ALGEBR METHODS

    47
  • INFORM COMPUT

    46
  • ACM T PROGR LANG SYS

    30
  • FUND INFORM

    29
  • COMMUN ACM

    28
  • J ACM

    28
  • SCI COMPUT PROGRAM

    28
  • LOG METH COMPUT SCI

    25
  • ACTA INFORM

    23

國(guó)家/地區(qū)發(fā)文數(shù)據(jù)

國(guó)家/地區(qū)名 數(shù)量
  • Italy

    35
  • France

    27
  • England

    24
  • GERMANY (FED REP GER)

    23
  • Spain

    21
  • USA

    19
  • Sweden

    16
  • Norway

    13
  • Denmark

    12
  • Netherlands

    12

機(jī)構(gòu)發(fā)文數(shù)據(jù)

機(jī)構(gòu)名 數(shù)量
  • CENTRE NATIONAL DE LA RECHERCHE SCIENTIF...

    16
  • INRIA

    13
  • UNIVERSITY OF BOLOGNA

    9
  • UNIVERSITY OF PISA

    9
  • UNIVERSITAT POLITECNICA DE VALENCIA

    8
  • UNIVERSITY OF LONDON

    8
  • UNIVERSITY OF OSLO

    8
  • COMPLUTENSE UNIVERSITY OF MADRID

    7
  • CHALMERS UNIVERSITY OF TECHNOLOGY

    5
  • ROYAL INSTITUTE OF TECHNOLOGY

    5

免責(zé)聲明

若用戶(hù)需要出版服務(wù)，請(qǐng)聯(lián)系出版商：STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。