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.
《计算机科学中的逻辑方法》是一本完全参考的、开放获取的免费电子期刊。它欢迎广义上涉及逻辑方法的计算机科学理论和实践领域的论文;下面列出了其范围内的一些特定领域。论文以传统方式进行审阅,每篇论文有两名或两名以上的审稿人。版权归作者所有。
计算机科学中的逻辑方法主题:
代数方法
自动机和逻辑
自动扣款
分类模型和逻辑
代数方法
可计算性和逻辑
计算机辅助验证
并发理论
约束规划
网络物理系统
数据库理论
不可行的推理
领域理论
新兴主题:生物学中的计算系统
新兴主题:量子计算和逻辑
有限模型理论
形式化数学
函数式编程和 lambda 演算
归纳逻辑和学习
交互式证明检查
逻辑和算法
逻辑和复杂性
逻辑和游戏
逻辑和概率
知识表示的逻辑
逻辑编程
程序逻辑
模态和时间逻辑
程序分析和类型检查
程序开发和规范
证明复杂性
实时和混合系统
推理行动和计划
可满足性
安全
编程语言的语义
术语重写和等式逻辑
类型理论和建设性数学。
Logical Methods In Computer Science创刊于2005年,由LOGICAL METHODS COMPUTER SCIENCE E V出版商出版,收稿方向涵盖工程技术 - 计算机:理论方法全领域,此期刊水平偏中等偏靠后,在所属细分领域中专业影响力一般,过审相对较易,如果您文章质量佳,选择此期刊,发表机率较高。平均审稿速度较慢,6-12周,影响因子指数0.672,该期刊近期没有被列入国际期刊预警名单,广大学者值得一试。
大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 2区 3区 | 是 | 是 |
名词解释:
中科院分区也叫中科院JCR分区,基础版分为13个大类学科,然后按照各类期刊影响因子分别将每个类别分为四个区,影响因子5%为1区,6%-20%为2区,21%-50%为3区,其余为4区。
WOS分区等级 | JCR所属学科 | 分区 |
Q4 | COMPUTER SCIENCE, THEORY & METHODS LOGIC | Q4 Q3 |
名词解释:
WOS即Web of Science,是全球获取学术信息的重要数据库,Web of Science包括自然科学、社会科学、艺术与人文领域的信息,来自全世界近9,000种最负盛名的高影响力研究期刊及12,000多种学术会议多学科内容。给期刊分区时会按照某一个学科领域划分,根据这一学科所有按照影响因子数值降序排名,然后平均分成4等份,期刊影响因子值高的就会在高分区中,最后的划分结果分别是Q1,Q2,Q3,Q4,Q1代表质量最高。
CiteScore | SJR | SNIP | CiteScore排名 | ||||||||||||
1.70 | 0.635 | 0.888 |
|
名词解释:
CiteScore:衡量期刊所发表文献的平均受引用次数。
SJR:SCImago 期刊等级衡量经过加权后的期刊受引用次数。引用次数的加权值由施引期刊的学科领域和声望 (SJR) 决定。
SNIP:每篇文章中来源出版物的标准化影响将实际受引用情况对照期刊所属学科领域中预期的受引用情况进行衡量。
是否OA开放访问: | h-index: | 年文章数: |
开放 | 31 | 77 |
Gold OA文章占比: | 2021-2022最新影响因子(数据来源于搜索引擎): | 开源占比(OA被引用占比): |
52.71% | 0.6 | 0.20... |
研究类文章占比:文章 ÷(文章 + 综述) | 期刊收录: | 中科院《国际期刊预警名单(试行)》名单: |
100.00% | SCI、SCIE | 否 |
历年IF值(影响因子):
历年引文指标和发文量:
历年中科院JCR大类分区数据:
历年自引数据:
近年引用统计:
期刊名称 | 数量 |
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 |
近年被引用统计:
期刊名称 | 数量 |
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 |
近年文章引用统计:
文章名称 | 数量 |
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 |
同类学科的其他优质期刊 | 影响因子 | 中科院分区 |
European Journal Of Control | 1.540 | 3区 |
Ieee Pervasive Computing | 4.418 | 4区 |
Turkish Journal Of Electrical Engineering And Computer Sciences | 0.682 | 4区 |
Ieee Transactions On Emerging Topics In Computing | 6.043 | 2区 |
Advanced Robotics | 1.247 | 4区 |
International Journal Of High Performance Computing Applications | 2.365 | 3区 |
Fuzzy Optimization And Decision Making | 4.319 | 2区 |
Ieee Antennas And Propagation Magazine | 3.765 | 3区 |
Ieee Transactions On Robotics | 6.480 | 1区 |
Computer Standards & Interfaces | 2.809 | 2区 |
本站主要从事期刊咨询服务,不是任何杂志官网,不涉及任何出版事务、本站仅提供有限咨询服务,需要用户自己向出版商投搞且没有绿色通道,是否录用一切以出版商通知为准,本站提供的期刊信息均来源于国家新闻出版总署及网络,仅供参考,提及的第三方名称或商标,其知识产权均属于相应的出版商或期刊,本站与上述机构无从属关系,所有引用均出于解释服务内容的考量,符合商标法规范,本页信息均由法务团队进行把关,若期刊信息有任何问题,请联系我们,我们会认真核实处理。若用户需要出版服务,请联系出版商!
发表直通车,欢迎来到发表直通车
鲁ICP备2024070538号-2
鲁公网安备37152102000140