无码人妻视频一区二区三区免_精品久久久久久无码一区二区_国产成人一二三区免费看_在线播放国产一区二区三区

Journal Of Logical And Algebraic Methods In Programming

  • ISSN:2352-2208
  • ESSN:2352-2216
  • 國(guó)際標(biāo)準(zhǔn)簡(jiǎn)稱:J LOG ALGEBR METHODS
  • 出版地區(qū):UNITED STATES
  • 出版周期:6 issues/year
  • 研究方向:COMPUTER SCIENCE, THEORY & METHODS - LOGIC
  • 出版年份:2014
  • 語(yǔ)言:English
  • 是否OA:未開放
  • 學(xué)科領(lǐng)域

    數(shù)學(xué)
  • 中科院分區(qū)

    4區(qū)
  • JCR分區(qū)

    Q1
  • IF影響因子

    0.7
  • 是否預(yù)警

期刊簡(jiǎn)介

Journal Title: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.

中文簡(jiǎn)介

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

期刊點(diǎn)評(píng)

Journal Of Logical And Algebraic Methods In Programming創(chuàng)刊于2014年,由Elsevier BV出版商出版,收稿方向涵蓋COMPUTER SCIENCE, THEORY & METHODS - LOGIC全領(lǐng)域,此期刊水平偏中等偏靠后,在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般,過(guò)審相對(duì)較易,如果您文章質(zhì)量佳,選擇此期刊,發(fā)表機(jī)率較高。平均審稿速度 ,影響因子指數(shù)0.7,該期刊近期沒有被列入國(guó)際期刊預(yù)警名單,廣大學(xué)者值得一試。

中科院分區(qū)(數(shù)據(jù)版本:2023年12月升級(jí)版)

大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
數(shù)學(xué) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 4區(qū)

名詞解釋:
中科院分區(qū)也叫中科院JCR分區(qū),基礎(chǔ)版分為13個(gè)大類學(xué)科,然后按照各類期刊影響因子分別將每個(gè)類別分為四個(gè)區(qū),影響因子5%為1區(qū),6%-20%為2區(qū),21%-50%為3區(qū),其余為4區(qū)。

中科院分區(qū)(數(shù)據(jù)版本:2022年12月升級(jí)版)

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

中科院分區(qū)(數(shù)據(jù)版本:2021年12月舊的升級(jí)版)

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

中科院分區(qū)(數(shù)據(jù)版本:2021年12月基礎(chǔ)版)

大類學(xué)科 分區(qū) 小類學(xué)科 分區(qū) Top期刊 綜述期刊
工程技術(shù) 4區(qū) COMPUTER SCIENCE, THEORY & METHODS 計(jì)算機(jī):理論方法 LOGIC 邏輯學(xué) 4區(qū) 3區(qū)

中科院分區(qū)(數(shù)據(jù)版本:2021年12月升級(jí)版)

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

中科院分區(qū)(數(shù)據(jù)版本:2020年12月舊的升級(jí)版)

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

WOS分區(qū)(數(shù)據(jù)版本:2023-2024年最新版)

按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%

名詞解釋:
WOS即Web of Science,是全球獲取學(xué)術(shù)信息的重要數(shù)據(jù)庫(kù),Web of Science包括自然科學(xué)、社會(huì)科學(xué)、藝術(shù)與人文領(lǐng)域的信息,來(lái)自全世界近9,000種最負(fù)盛名的高影響力研究期刊及12,000多種學(xué)術(shù)會(huì)議多學(xué)科內(nèi)容。給期刊分區(qū)時(shí)會(huì)按照某一個(gè)學(xué)科領(lǐng)域劃分,根據(jù)這一學(xué)科所有按照影響因子數(shù)值降序排名,然后平均分成4等份,期刊影響因子值高的就會(huì)在高分區(qū)中,最后的劃分結(jié)果分別是Q1,Q2,Q3,Q4,Q1代表質(zhì)量最高。

CiteScore分區(qū)(數(shù)據(jù)版本:2024年最新版)

CiteScore SJR SNIP CiteScore排名
2.6 0.577 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%

名詞解釋:
CiteScore:衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)。
SJR:SCImago 期刊等級(jí)衡量經(jīng)過(guò)加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學(xué)科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來(lái)源出版物的標(biāo)準(zhǔn)化影響將實(shí)際受引用情況對(duì)照期刊所屬學(xué)科領(lǐng)域中預(yù)期的受引用情況進(jìn)行衡量。

其他數(shù)據(jù)

是否OA開放訪問: h-index: 年文章數(shù):
未開放 9 44
Gold OA文章占比: 2021-2022最新影響因子(數(shù)據(jù)來(lái)源于搜索引擎): 開源占比(OA被引用占比):
41.51% 0.7 0.15...
研究類文章占比:文章 ÷(文章 + 綜述) 期刊收錄: 中科院《國(guó)際期刊預(yù)警名單(試行)》名單:
100.00% SCIE

歷年IF值(影響因子):

歷年引文指標(biāo)和發(fā)文量:

歷年中科院JCR大類分區(qū)數(shù)據(jù):

歷年自引數(shù)據(jù):

發(fā)文統(tǒng)計(jì)

2023-2024國(guó)家/地區(qū)發(fā)文量統(tǒng)計(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

2023-2024機(jī)構(gòu)發(fā)文量統(tǒng)計(jì):

機(jī)構(gòu) 數(shù)量
CENTRE NATIONAL DE LA RECHERCHE ... 16
INRIA 13
UNIVERSITY OF BOLOGNA 9
UNIVERSITY OF PISA 9
UNIVERSITAT POLITECNICA DE VALEN... 8
UNIVERSITY OF LONDON 8
UNIVERSITY OF OSLO 8
COMPLUTENSE UNIVERSITY OF MADRID 7
CHALMERS UNIVERSITY OF TECHNOLOG... 5
ROYAL INSTITUTE OF TECHNOLOGY 5

近年引用統(tǒng)計(jì):

期刊名稱 數(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

近年被引用統(tǒng)計(jì):

期刊名稱 數(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

近年文章引用統(tǒng)計(jì):

文章名稱 數(shù)量
Metalevel algorithms for variant... 4
From distributed coordination to... 4
On the essence and initiality of... 3
From probability monads to commu... 3
Multilevel coupled model transfo... 3
Model checking and synthesis for... 2
A logic-algebraic tool for reaso... 2
Verification of finite-state mac... 2
Sequential pattern mining for IC... 2
Axiomatising infinitary probabil... 2

相關(guān)期刊

同小類學(xué)科的其他優(yōu)質(zhì)期刊 影響因子 中科院分區(qū)
Differential And Integral Equations 1.8 4區(qū)
Mathematics 2.3 3區(qū)
Aims Mathematics 1.8 3區(qū)
Algebra And Logic 0.4 3區(qū)
Mathematical Notes 0.6 4區(qū)
Fractal And Fractional 3.6 2區(qū)
Journal Of The Royal Statistical Society Series C-applied Statistics 1 4區(qū)
Communications On Pure And Applied Mathematics 3.1 1區(qū)
Theory And Practice Of Logic Programming 1.4 2區(qū)
Applied Mathematics And Computation 3.5 2區(qū)

更多問題

免責(zé)聲明

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

主站蜘蛛池模板: 国产精品无码av不卡顿| 特黄一级a毛欧美大片| 亚洲综合精品成人网色播| 精品国产一级二级三级在线| 欧美人成视频一区二区三区| 日本精品一区二区三区视频| 久久机热一这里只精品| 国产 欧美日韩专区| 日韩欧美动漫国产在线不卡| 久久综合亚洲国产精品| 国产亚洲欧美另类一区| 亚洲AV无码一区二区二三区我l| 亚洲日韩欧美制服精品二区| 亚洲夜夜性无码国产盗摄| 国产精品无码免费看一区二区| 国产99一区免费视频| 国产超碰人人做人人爱| 国产无码久久成人18免费网站 | 无遮挡激情视频国产在线观看 | 中文乱码字幕在线视频32| 在线中文字幕亚洲日韩阿V| 久久综合一区二区三区四区| 日韩精一区二区在线视频| 欧美日韩一区二区三区久久网 | 久久五月天av电影| 美女精品一区二区免費資訊| 国产网友愉拍精品视频手机| 99久久人人爽亚洲精品美女| 大香伊蕉在人线国产av| 亚洲日韩精品福利在线| 丝袜人妻无碼专区视频| 欧美日韩偷窥高清一区二区三区| 日韩视频观看一区日韩| 国产精品日韩在线卡一| 一区二区精品国产18久久久| mm久久356综合网| 亚洲理论中字在线观看| 一本到亚洲中文无码av| 精品无码国产一区二区久久久久久| 亚州视频一区二区三区色伦| 国产成人免费视频观看|