质量指标占比
研究类文章占比OA被引用占比撤稿占比出版后修正文章占比
100.00%78.21%0%0%
相关指数
{{chartTitle}}
影响因子年发文量自引率Cite Score
最新IF值预测
预测IF值算法
根据标准的SCI影响因子计算公式，以2022年为例，预测IF(2022)=A/B，其中，A为该期刊2020年至2021年所有文章在2022年中被引用的次数；B为该期刊2020年至2021年所有文章的总数。预测的实时影响因子数据在全年中逐步接近真实IF数据，上半年的预测数据通常接近于6月底正式发布的数据，而下半年的实时影响因子则会从大约50%开始逐渐趋近于最终的IF值。（考虑数据入库延迟，可以根据当前月份占全年的比例来大致估计最终的IF值，且估算时可适当上调。）
0.5000数据截止 2024-3-26 日
68297人已查看 《Logical Methods in Computer Science》 期刊2024最新IF预测值
预警说明查看说明
时间预警情况
2024年02月发布的2024版不在预警名单中
2023年01月发布的2023版不在预警名单中
2021年12月发布的2021版不在预警名单中
2020年12月发布的2020版不在预警名单中
2025年预警名单预测
无异常数据 期刊预警概率很低
结果仅供参考
*来源：中科院《 国际期刊预警名单》
中科院分区查看说明
版本大类学科小类学科Top期刊综述期刊
2023年12月最新升级版
数学4区
LOGIC
逻辑学
4区
COMPUTER SCIENCE, THEORY & METHODS
计算机：理论方法
4区
否否
2022年12月升级版
计算机科学4区
LOGIC
逻辑学
4区
COMPUTER SCIENCE, THEORY & METHODS
计算机：理论方法
4区
否否
2021年12月升级版
工程技术4区
LOGIC
逻辑学
4区
COMPUTER SCIENCE, THEORY & METHODS
计算机：理论方法
4区
否否
2021年12月升级版
计算机科学4区
LOGIC
逻辑学
4区
COMPUTER SCIENCE, THEORY & METHODS
计算机：理论方法
4区
否否
2020年12月升级版
计算机科学3区
LOGIC
逻辑学
2区
COMPUTER SCIENCE, THEORY & METHODS
计算机：理论方法
3区
否否
JCR分区
WOS分区等级：Q4区
版本按学科分区
WOS期刊SCI分区
WOS期刊SCI分区
WOS期刊SCI分区是指SCI官方（Web of Science)为每个学科内的期刊按照IF数值排序，将期刊按照四等分的方法划分的Q1-Q4等级，Q1代表质量最高，即常说的1区期刊。
（2022-2023年最新版）
LOGICQ2
COMPUTER SCIENCE, THEORY & METHODSQ4
期刊介绍
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 methodsAutomata and logicAutomated deductionCategorical models and logicCoalgebraic methodsComputability and LogicComputer-aided verificationConcurrency theoryConstraint programmingCyber-physical systemsDatabase theoryDefeasible reasoningDomain theoryEmerging topics: Computational systems in biologyEmerging topics: Quantum computation and logicFinite model theoryFormalized mathematicsFunctional programming and lambda calculusInductive logic and learningInteractive proof checkingLogic and algorithmsLogic and complexityLogic and gamesLogic and probabilityLogic for knowledge representationLogic programmingLogics of programsModal and temporal logicsProgram analysis and type checkingProgram development and specificationProof complexityReal time and hybrid systemsReasoning about actions and planningSatisfiabilitySecuritySemantics of programming languagesTerm rewriting and equational logicType theory and constructive mathematics.
《计算机科学中的逻辑方法》是一本经过充分审阅的、开放获取的、免费的电子期刊。它欢迎关于计算机科学中涉及逻辑方法的理论和实践领域的论文，从广义上看;下文列出了其范围内的一些具体领域。论文以传统的方式进行评审，每份论文有两名或两名以上的评审。版权归作者所有。计算机科学中的逻辑方法主题：代数方法自动机和逻辑自动演绎分类模型和逻辑共代数方法可计算性和逻辑计算机辅助验证并发理论约束编程计算机物理系统数据库理论可废止推理领域理论新兴主题：生物学中的计算系统新兴主题：量子计算与逻辑有限模型理论形式化数学函数编程与lambda演算归纳逻辑与学习交互式证明检查逻辑与算法逻辑与复杂性逻辑与游戏逻辑与概率知识表示逻辑逻辑编程程序逻辑模态与时序逻辑程序分析与类型检查程序开发与规范证明复杂性实时与混合系统关于动作与规划的推理可满足性安全性编程语义语言术语重写和等式逻辑类型理论和构造数学。
年发文量81
国人发稿量1
国人发文占比1.23%
自引率16.7%
平均录取率容易数据非官方，来自网友分享经验
平均审稿周期平均6周数据非官方，来自网友分享经验
版面费-
偏重研究方向工程技术-计算机：理论方法
期刊官网http://www.lmcs-online.org/index.php
投稿链接http://www.lmcs-online.org/ojs/login.php
期刊高被引文献
Thin Games with Symmetry and Concurrent Hyland-Ong Games
来源期刊：Logical Methods in Computer Science
DOI：10.2168/LMCS-
来源期刊：
DOI：
已经到底了~
已经到底了~