欧洲成人午夜精品无码区久久_久久精品无码专区免费青青_av无码电影一区二区三区_各种少妇正面着bbw撒尿视频_中文精品久久久久国产网址

首頁 > JCRQ2 > 期刊介紹
Logical Methods In Computer Science 加入收藏

計算機科學中的邏輯方法 SCIE

Logical Methods In Computer Science

較慢,6-12周 審稿時間

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

Q2JCR分區(qū)

0.6影響因子

1860-5974

1860-5974

LOG METH COMPUT SCI

GERMANY

工程技術 - 計算機:理論方法

2005

31

Irregular

English

82

--

投稿咨詢 加急服務

期刊簡介

計算機科學中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的一本工程技術-計算機:理論方法學術刊物,主要報道工程技術-計算機:理論方法相關領域研究成果與實踐。本刊已入選來源期刊,該刊創(chuàng)刊于2005年,出版周期Irregular。2021-2022年最新版WOS分區(qū)等級:Q2,2023年發(fā)布的影響因子為0.6,CiteScore指數1.8,SJR指數0.573。本刊為開放獲取期刊。

《計算機科學中的邏輯方法》是一本經過全面評審的免費電子期刊,可免費訪問。它歡迎發(fā)表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文;其范圍內的一些特定領域如下所列。論文以傳統(tǒng)方式評審,每篇論文由兩名或多名評審員評審。版權歸作者所有。

計算機科學中的邏輯方法主題:

代數方法

自動機和邏輯

自動推理

分類模型和邏輯

共代數方法

可計算性和邏輯

計算機輔助驗證

并發(fā)理論

約束編程

信息物理系統(tǒng)

數據庫理論

可廢止推理

領域理論

新興主題:生物學中的計算系統(tǒng)

新興主題:量子計算和邏輯

有限模型理論

形式化數學

函數式編程和 lambda 演算

歸納邏輯和學習

交互式證明檢查

邏輯和算法

邏輯和復雜性

邏輯和游戲

邏輯和概率

知識表示邏輯

邏輯編程

程序邏輯

模態(tài)和時間邏輯

程序分析和類型檢查

程序開發(fā)和規(guī)范

證明復雜性

實時和混合系統(tǒng)

關于動作和計劃的推理

可滿足性

安全性

編程語言的語義

術語重寫和方程邏輯

類型理論和建設性數學。

中科院分區(qū)信息

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

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

JCR分區(qū)信息

Logical Methods In Computer Science(2023-2024年最新版數據)
按JIF指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
學科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q4 117 / 143
18.5%
學科:LOGIC SCIE Q2 10 / 25
62%
按JCI指標學科分區(qū) 收錄子集 分區(qū) 排名 百分位
學科:COMPUTER SCIENCE, THEORY & METHODS SCIE Q2 69 / 143
52.1%
學科:LOGIC SCIE Q4 19 / 25
26%
名詞解釋:

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

期刊數據統(tǒng)計

1、Cite Score(2024年最新版)
學科類別 分區(qū) 排名 百分位
大類:Computer Science 小類:General Computer Science Q3 152 / 232
34%
大類:Computer Science 小類:Theoretical Computer Science Q4 100 / 130
23%
名詞解釋:

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

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

文章引用數據

文章名稱 引用次數
  • SHRUB-DEPTH: CAPTURING HEIGHT OF DENSE G...

    9
  • SIZE, COST, AND CAPACITY: A SEMANTIC TEC...

    5
  • A DICHOTOMY FOR FIRST-ORDER REDUCTS OF U...

    3
  • COINDUCTIVE FOUNDATIONS OF INFINITARY RE...

    3
  • ON THE ALGEBRAIC STRUCTURE OF WEIHRAUCH ...

    3
  • SOS-BASED MODAL DECOMPOSITION ON NONDETE...

    2
  • NASH EQUILIBRIUM AND BISIMULATION INVARI...

    2
  • REWRITABILITY IN MONADIC DISJUNCTIVE DAT...

    2
  • DYNAMIC CAUSALITY IN EVENT STRUCTURES

    2
  • COAXIOMS: FLEXIBLE COINDUCTIVE DEFINITIO...

    2

期刊被引用數據

期刊名稱 引用次數
  • LOG METH COMPUT SCI

    103
  • J LOG ALGEBR METHODS

    25
  • FUND INFORM

    18
  • INFORM COMPUT

    18
  • MATH STRUCT COMP SCI

    18
  • ACM T COMPUT LOG

    15
  • J AUTOM REASONING

    15
  • THEOR COMPUT SCI

    13
  • J COMPUT SYST SCI

    11
  • J FUNCT PROGRAM

    11

期刊引用數據

期刊名稱 引用次數
  • THEOR COMPUT SCI

    192
  • LOG METH COMPUT SCI

    103
  • INFORM COMPUT

    95
  • ANN PURE APPL LOGIC

    63
  • J ACM

    63
  • MATH STRUCT COMP SCI

    58
  • J COMPUT SYST SCI

    43
  • ACM T COMPUT LOG

    39
  • J SYMBOLIC LOGIC

    39
  • J LOGIC COMPUT

    36

相關期刊

常見問題

SCI期刊導航

免責聲明

若用戶需要出版服務,請聯(lián)系出版商:TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。