期刊簡介
Journal Title：Logical Methods In Computer Science
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.
中文簡介
《計算機(jī)科學(xué)中的邏輯方法》是一本經(jīng)過全面評審的免費(fèi)電子期刊，可免費(fèi)訪問。它歡迎發(fā)表涉及廣義邏輯方法的計算機(jī)科學(xué)理論和實(shí)踐領(lǐng)域的論文；其范圍內(nèi)的一些特定領(lǐng)域如下所列。論文以傳統(tǒng)方式評審，每篇論文由兩名或多名評審員評審。版權(quán)歸作者所有。
計算機(jī)科學(xué)中的邏輯方法主題：
代數(shù)方法
自動機(jī)和邏輯
自動推理
分類模型和邏輯
共代數(shù)方法
可計算性和邏輯
計算機(jī)輔助驗(yàn)證
并發(fā)理論
約束編程
信息物理系統(tǒng)
數(shù)據(jù)庫理論
可廢止推理
領(lǐng)域理論
新興主題：生物學(xué)中的計算系統(tǒng)
新興主題：量子計算和邏輯
有限模型理論
形式化數(shù)學(xué)
函數(shù)式編程和 lambda 演算
歸納邏輯和學(xué)習(xí)
交互式證明檢查
邏輯和算法
邏輯和復(fù)雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態(tài)和時間邏輯
程序分析和類型檢查
程序開發(fā)和規(guī)范
證明復(fù)雜性
實(shí)時和混合系統(tǒng)
關(guān)于動作和計劃的推理
可滿足性
安全性
編程語言的語義
術(shù)語重寫和方程邏輯
類型理論和建設(shè)性數(shù)學(xué)。
期刊點(diǎn)評
Logical Methods In Computer Science創(chuàng)刊于2005年，由Technischen Universitat Braunschweig出版商出版，收稿方向涵蓋工程技術(shù) - 計算機(jī)：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過審相對較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 較慢,6-12周 ，影響因子指數(shù)0.6，該期刊近期沒有被列入國際期刊預(yù)警名單，廣大學(xué)者值得一試。
中科院分區(qū)（數(shù)據(jù)版本：2023年12月升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 數(shù)學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
名詞解釋：
中科院分區(qū)也叫中科院JCR分區(qū)，基礎(chǔ)版分為13個大類學(xué)科，然后按照各類期刊影響因子分別將每個類別分為四個區(qū)，影響因子5%為1區(qū)，6%-20%為2區(qū)，21%-50%為3區(qū)，其余為4區(qū)。
中科院分區(qū)（數(shù)據(jù)版本：2022年12月升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月舊的升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月基礎(chǔ)版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 工程技術(shù) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2021年12月升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機(jī)科學(xué) | 4區(qū) | COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 LOGIC 邏輯學(xué) | 4區(qū) 4區(qū) | 否 | 否 |
中科院分區(qū)（數(shù)據(jù)版本：2020年12月舊的升級版）
| 大類學(xué)科 | 分區(qū) | 小類學(xué)科 | 分區(qū) | Top期刊 | 綜述期刊 |
| 計算機(jī)科學(xué) | 3區(qū) | LOGIC 邏輯學(xué) COMPUTER SCIENCE, THEORY & METHODS 計算機(jī)：理論方法 | 2區(qū) 3區(qū) | 否 | 否 |
WOS分區(qū)（數(shù)據(jù)版本：2023-2024年最新版）
| 按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% |
名詞解釋：
WOS即Web of Science，是全球獲取學(xué)術(shù)信息的重要數(shù)據(jù)庫，Web of Science包括自然科學(xué)、社會科學(xué)、藝術(shù)與人文領(lǐng)域的信息，來自全世界近9,000種最負(fù)盛名的高影響力研究期刊及12,000多種學(xué)術(shù)會議多學(xué)科內(nèi)容。給期刊分區(qū)時會按照某一個學(xué)科領(lǐng)域劃分，根據(jù)這一學(xué)科所有按照影響因子數(shù)值降序排名，然后平均分成4等份，期刊影響因子值高的就會在高分區(qū)中，最后的劃分結(jié)果分別是Q1，Q2，Q3，Q4，Q1代表質(zhì)量最高。
CiteScore分區(qū)（數(shù)據(jù)版本：2024年最新版）
| CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||
| 1.8 | 0.573 | 0.931 |
|
名詞解釋：
CiteScore：衡量期刊所發(fā)表文獻(xiàn)的平均受引用次數(shù)。
SJR:SCImago 期刊等級衡量經(jīng)過加權(quán)后的期刊受引用次數(shù)。引用次數(shù)的加權(quán)值由施引期刊的學(xué)科領(lǐng)域和聲望 (SJR) 決定。
SNIP:每篇文章中來源出版物的標(biāo)準(zhǔn)化影響將實(shí)際受引用情況對照期刊所屬學(xué)科領(lǐng)域中預(yù)期的受引用情況進(jìn)行衡量。
其他數(shù)據(jù)
| 是否OA開放訪問： | h-index： | 年文章數(shù)： |
| 開放 | 31 | 82 |
| Gold OA文章占比： | 2021-2022最新影響因子（數(shù)據(jù)來源于搜索引擎）: | 開源占比（OA被引用占比）： |
| 78.21% | 0.6 | 0.52... |
| 研究類文章占比：文章 ÷（文章 + 綜述） | 期刊收錄： | 中科院《國際期刊預(yù)警名單（試行）》名單： |
| 100.00% | SCIE | 否 |
歷年IF值(影響因子)：
歷年引文指標(biāo)和發(fā)文量：
歷年中科院JCR大類分區(qū)數(shù)據(jù)：
歷年自引數(shù)據(jù)：
發(fā)文統(tǒng)計
近年引用統(tǒng)計：
| 期刊名稱 | 數(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 |
近年被引用統(tǒng)計：
| 期刊名稱 | 數(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 |
近年文章引用統(tǒng)計：
| 文章名稱 | 數(shù)量 |
| SHRUB-DEPTH: CAPTURING HEIGHT OF... | 9 |
| SIZE, COST, AND CAPACITY: A SEMA... | 5 |
| A DICHOTOMY FOR FIRST-ORDER REDU... | 3 |
| COINDUCTIVE FOUNDATIONS OF INFIN... | 3 |
| ON THE ALGEBRAIC STRUCTURE OF WE... | 3 |
| SOS-BASED MODAL DECOMPOSITION ON... | 2 |
| NASH EQUILIBRIUM AND BISIMULATIO... | 2 |
| REWRITABILITY IN MONADIC DISJUNC... | 2 |
| DYNAMIC CAUSALITY IN EVENT STRUC... | 2 |
| COAXIOMS: FLEXIBLE COINDUCTIVE D... | 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ū) |
| Fractal And Fractional | 3.6 | 2區(qū) |
| Mathematical Notes | 0.6 | 4區(qū) |
| Communications On Pure And Applied Mathematics | 3.1 | 1區(qū) |
| Applied Mathematics And Computation | 3.5 | 2區(qū) |
| Journal Of The Royal Statistical Society Series C-applied Statistics | 1 | 4區(qū) |
| Chaos Solitons & Fractals | 5.3 | 1區(qū) |
更多問題
免責(zé)聲明
若用戶需要出版服務(wù)，請聯(lián)系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。