<cite id="yyiou"><tbody id="yyiou"></tbody></cite>
<cite id="yyiou"><samp id="yyiou"></samp></cite>
  • <s id="yyiou"></s><bdo id="yyiou"><optgroup id="yyiou"></optgroup></bdo>
  • <cite id="yyiou"><tbody id="yyiou"></tbody></cite>
    首頁 > SCI期刊 > 數學 > 中科院4區 > JCRQ1 > 期刊介紹
    Journal Of Logical And Algebraic Methods In Programming

    程序設計中的邏輯和代數方法雜志 SCIE

    Journal Of Logical And Algebraic Methods In Programming

    審稿時間

    4區中科院分區

    Q1JCR分區

    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...

    投稿咨詢 加急服務

    期刊簡介

    程序設計中的邏輯和代數方法雜志(Journal Of Logical And Algebraic Methods In Programming)是一本由Elsevier BV出版的一本COMPUTER SCIENCE, THEORY & METHODS-LOGIC學術刊物,主要報道COMPUTER SCIENCE, THEORY & METHODS-LOGIC相關領域研究成果與實踐。本刊已入選來源期刊,該刊創刊于2014年,出版周期6 issues/year。2021-2022年最新版WOS分區等級:Q1,2023年發布的影響因子為0.7,CiteScore指數2.6,SJR指數0.577。本刊非開放獲取期刊。

    《編程中的邏輯和代數方法雜志》是一本國際期刊,旨在發表高質量的原創研究論文、調查和評論文章、教程闡述和歷史研究,涉及邏輯和代數方法和技術領域,以保證程序和一般計算系統的正確性和可執行性。將涵蓋所有方面,尤其是理論和基礎、實施問題以及涉及新想法的應用。

    中科院分區信息

    程序設計中的邏輯和代數方法雜志2023年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    數學 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 4區
    程序設計中的邏輯和代數方法雜志2022年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 3區 LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 2區 3區
    程序設計中的邏輯和代數方法雜志2021年12月舊的升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 3區 LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 2區 3區
    程序設計中的邏輯和代數方法雜志2021年12月基礎版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    工程技術 4區 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 LOGIC 邏輯學 4區 3區
    程序設計中的邏輯和代數方法雜志2021年12月升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 3區 LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 2區 3區
    程序設計中的邏輯和代數方法雜志2020年12月舊的升級版
    大類學科 分區 小類學科 分區 Top期刊 綜述期刊
    計算機科學 3區 LOGIC 邏輯學 COMPUTER SCIENCE, THEORY & METHODS 計算機:理論方法 2區 3區
    名詞解釋:

    中科院JCR期刊分區(又稱分區表、分區數據)是中國科學院文獻情報中心世界科學前沿分析中心的科學研究成果。在中科院期刊分區表中,主要參考3年平均IF作為學術影響力,最終每個分區的期刊累積學術影響力是相同的,各區的期刊數量由高到底呈金字塔式分布。

    JCR分區信息

    Journal Of Logical And Algebraic Methods In Programming(2023-2024年最新版數據)
    按JIF指標學科分區 收錄子集 分區 排名 百分位
    學科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q3 104 / 143
    27.6%
    學科:LOGIC SCIE Q1 4 / 25
    86%
    按JCI指標學科分區 收錄子集 分區 排名 百分位
    學科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 45 / 143
    68.88%
    學科:LOGIC SCIE Q2 8 / 25
    70%
    名詞解釋:

    湯森路透每年出版一本《期刊引用報告》(Journal Citation Reports,簡稱JCR)。JCR對86000多種SCI期刊的影響因子(Impact Factor)等指數加以統計。JCR將收錄期刊分為176個不同學科類別在JCR的Journal Ranking中,主要參考當年IF,最終每個分區的期刊數量是均分的。

    期刊數據統計

    1、Cite Score(2024年最新版)
    學科類別 分區 排名 百分位
    大類: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于2016年提出,指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是:例如,某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數,除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。

    2、綜合數據
    3、本刊綜合數據對比及走勢

    文章引用數據

    文章名稱 引用次數
    • 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

    期刊被引用數據

    期刊名稱 引用次數
    • 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

    期刊引用數據

    期刊名稱 引用次數
    • 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

    國家/地區發文數據

    國家/地區名 數量
    • Italy

      35
    • France

      27
    • England

      24
    • GERMANY (FED REP GER)

      23
    • Spain

      21
    • USA

      19
    • Sweden

      16
    • Norway

      13
    • Denmark

      12
    • Netherlands

      12

    機構發文數據

    機構名 數量
    • 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

    相關期刊

    常見問題

    SCI期刊導航

    免責聲明

    若用戶需要出版服務,請聯系出版商:STE 800, 230 PARK AVE, NEW YORK, USA, NY, 10169。

    主站蜘蛛池模板: 儋州市| 凤台县| 墨脱县| 灌南县| 三穗县| 油尖旺区| 安化县| 揭西县| 瑞安市| 钟祥市| 襄城县| 乌拉特前旗| 同江市| 天祝| 十堰市| 岐山县| 汝阳县| 夏河县| 鸡泽县| 上杭县| 洪湖市| 海盐县| 汤原县| 岑溪市| 菏泽市| 雷波县| 大竹县| 云安县| 呼玛县| 交口县| 景泰县| 宜黄县| 南宫市| 宝清县| 宣武区| 行唐县| 南靖县| 牡丹江市| 成武县| 厦门市| 盖州市|