首頁 > SCI期刊 > SCIE期刊 > 數(shù)學(xué) > 中科院4區(qū) > JCRQ2 > 期刊介紹
評價信息：
影響因子：0.6
年發(fā)文量：82
《計算機科學(xué)中的邏輯方法》(Logical Methods In Computer Science)是一本以工程技術(shù)-計算機：理論方法綜合研究為特色的國際期刊。該刊由Technischen Universitat Braunschweig出版商創(chuàng)刊于2005年，刊期Irregular。該刊已被國際重要權(quán)威數(shù)據(jù)庫SCIE收錄。期刊聚焦工程技術(shù)-計算機：理論方法領(lǐng)域的重點研究和前沿進展，及時刊載和報道該領(lǐng)域的研究成果，致力于成為該領(lǐng)域同行進行快速學(xué)術(shù)交流的信息窗口與平臺。該刊2023年影響因子為0.6。CiteScore指數(shù)值為1.8。
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.
Topics of Logical Methods in Computer Science:
Algebraic methods
Automata and logic
Automated deduction
Categorical models and logic
Coalgebraic methods
Computability and Logic
Computer-aided verification
Concurrency theory
Constraint programming
Cyber-physical systems
Database theory
Defeasible reasoning
Domain theory
Emerging topics: Computational systems in biology
Emerging topics: Quantum computation and logic
Finite model theory
Formalized mathematics
Functional programming and lambda calculus
Inductive logic and learning
Interactive proof checking
Logic and algorithms
Logic and complexity
Logic and games
Logic and probability
Logic for knowledge representation
Logic programming
Logics of programs
Modal and temporal logics
Program analysis and type checking
Program development and specification
Proof complexity
Real time and hybrid systems
Reasoning about actions and planning
Satisfiability
Security
Semantics of programming languages
Term rewriting and equational logic
Type theory and constructive mathematics.
《計算機科學(xué)中的邏輯方法》是一本經(jīng)過全面評審的免費電子期刊，可免費訪問。它歡迎發(fā)表涉及廣義邏輯方法的計算機科學(xué)理論和實踐領(lǐng)域的論文；其范圍內(nèi)的一些特定領(lǐng)域如下所列。論文以傳統(tǒng)方式評審，每篇論文由兩名或多名評審員評審。版權(quán)歸作者所有。
計算機科學(xué)中的邏輯方法主題：
代數(shù)方法
自動機和邏輯
自動推理
分類模型和邏輯
共代數(shù)方法
可計算性和邏輯
計算機輔助驗證
并發(fā)理論
約束編程
信息物理系統(tǒng)
數(shù)據(jù)庫理論
可廢止推理
領(lǐng)域理論
新興主題：生物學(xué)中的計算系統(tǒng)
新興主題：量子計算和邏輯
有限模型理論
形式化數(shù)學(xué)
函數(shù)式編程和 lambda 演算
歸納邏輯和學(xué)習(xí)
交互式證明檢查
邏輯和算法
邏輯和復(fù)雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態(tài)和時間邏輯
程序分析和類型檢查
程序開發(fā)和規(guī)范
證明復(fù)雜性
實時和混合系統(tǒng)
關(guān)于動作和計劃的推理
可滿足性
安全性
編程語言的語義
術(shù)語重寫和方程邏輯
類型理論和建設(shè)性數(shù)學(xué)。
《Logical Methods In Computer Science》(計算機科學(xué)中的邏輯方法)編輯部通訊方式為TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。如果您需要協(xié)助投稿或潤稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對一投稿指導(dǎo)，避免您在投稿時頻繁碰壁，節(jié)省您的寶貴時間，有效提升發(fā)表機率，確保SCI檢索（檢索不了全額退款）。我們視信譽為生命，多方面確保文章安全保密，在任何情況下都不會泄露您的個人信息或稿件內(nèi)容。
2023年12月升級版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2022年12月升級版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2021年12月舊的升級版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2021年12月基礎(chǔ)版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2021年12月升級版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
2020年12月舊的升級版
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計算機：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
基礎(chǔ)版：即2019年12月17日，正式發(fā)布的《2019年中國科學(xué)院文獻情報中心期刊分區(qū)表》；將JCR中所有期刊分為13個大類,期刊范圍只有SCI期刊。
升級版：即2020年1月13日，正式發(fā)布的《2019年中國科學(xué)院文獻情報中心期刊分區(qū)表升級版（試行）》,升級版采用了改進后的指標(biāo)方法體系對基礎(chǔ)版的延續(xù)和改進，影響因子不再是分區(qū)的唯一或者決定性因素，也沒有了分區(qū)的IF閾值期刊由基礎(chǔ)版的13個學(xué)科擴展至18個，科研評價將更加明確。期刊范圍有SCI期刊、SSCI期刊。從2022年開始，分區(qū)表將只發(fā)布升級版結(jié)果，不再有基礎(chǔ)版和升級版之分,基礎(chǔ)版和升級版（試行）將過渡共存三年時間。
JCR分區(qū)等級：Q2
| 按JIF指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 117 / 143 |
18.5% |
| 學(xué)科：LOGIC | SCIE | Q2 | 10 / 25 |
62% |
| 按JCI指標(biāo)學(xué)科分區(qū) | 收錄子集 | 分區(qū) | 排名 | 百分位 |
| 學(xué)科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 69 / 143 |
52.1% |
| 學(xué)科：LOGIC | SCIE | Q4 | 19 / 25 |
26% |
| Gold OA文章占比 | 研究類文章占比 | 文章自引率 |
| 78.21% | 100.00% | -- |
| 開源占比 | 出版國人文章占比 | OA被引用占比 |
| 0.52... | -- | 1 |
名詞解釋：JCR分區(qū)在學(xué)術(shù)期刊評價、科研成果展示、科研方向引導(dǎo)以及學(xué)術(shù)交流與合作等方面都具有重要的價值。通過對期刊影響因子的精確計算和細致劃分，JCR分區(qū)能夠清晰地反映出不同期刊在同一學(xué)科領(lǐng)域內(nèi)的相對位置，從而幫助科研人員準(zhǔn)確識別出高質(zhì)量的學(xué)術(shù)期刊。
| CiteScore | SJR | SNIP | CiteScore 指數(shù) | ||||||||||||
| 1.8 | 0.573 | 0.931 |
|
名詞解釋：CiteScore是基于Scopus數(shù)據(jù)庫的全新期刊評價體系。CiteScore 2021 的計算方式是期刊最近4年（含計算年度）的被引次數(shù)除以該期刊近四年發(fā)表的文獻數(shù)。CiteScore基于全球最廣泛的摘要和引文數(shù)據(jù)庫Scopus，適用于所有連續(xù)出版物，而不僅僅是期刊。目前CiteScore 收錄了超過 26000 種期刊，比獲得影響因子的期刊多13000種。被各界人士認為是影響因子最有力的競爭對手。
歷年中科院分區(qū)趨勢圖
歷年IF值(影響因子)
歷年引文指標(biāo)和發(fā)文量
歷年自引數(shù)據(jù)
2019-2021年文章引用數(shù)據(jù)
| 文章引用名稱 | 引用次數(shù) |
| 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 |
2019-2021年文章被引用數(shù)據(jù)
| 被引用期刊名稱 | 數(shù)量 |
| 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 |
2019-2021年引用數(shù)據(jù)
| 引用期刊名稱 | 數(shù)量 |
| 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 |
中科院分區(qū)：1區(qū)
影響因子：7.7
審稿周期：約Time to first decision: 9 days; Review time: 64 days; Submission to acceptance: 82 days; 約2.7個月 約7.8周
中科院分區(qū)：1區(qū)
影響因子：8.1
審稿周期：約Time to first decision: 6 days; Review time: 44 days; Submission to acceptance: 54 days; 約4.1個月 約6.8周
中科院分區(qū)：3區(qū)
影響因子：3.3
審稿周期：約17.72天 11 Weeks
中科院分區(qū)：1區(qū)
影響因子：98.4
審稿周期： 約3月
中科院分區(qū)：2區(qū)
影響因子：5.8
審稿周期： 約2.4個月 約7.6周
中科院分區(qū)：2區(qū)
影響因子：5.1
審稿周期： 約1.9個月 約2.7周
若用戶需要出版服務(wù)，請聯(lián)系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。
