Gold OA文章占比：78.21%
OA被引用占比：1
开源占比：0.5271
研究类文章占比：100.00%
国际标准简称：LOG METH COMPUT SCI
人气 147
《Logical Methods In Computer Science》是一本专注于COMPUTER SCIENCE, THEORY & METHODS领域的English学术期刊，创刊于2005年，由Technischen Universitat Braunschweig出版商出版，出版周期Irregular。该刊发文范围涵盖COMPUTER SCIENCE, THEORY & METHODS等领域，旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, THEORY & METHODS工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。该刊已被SCIE数据库收录，在中科院JCR最新升级版分区表中，该刊分区信息为大类学科计算机科学4区，2023年影响因子为0.6。
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.
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 数学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 工程技术 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 4区 | COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学 | 4区 4区 | 否 | 否 |
| 大类学科 | 分区 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
| 计算机科学 | 3区 | LOGIC 逻辑学 COMPUTER SCIENCE, THEORY & METHODS 计算机：理论方法 | 2区 3区 | 否 | 否 |
中科院分区：中科院分区是SCI期刊分区的一种，是由中国科学院国家科学图书馆制定出来的分区。主要有两个版本，即基础版和升级版。2019年中国科学院文献情报中心期刊分区表推出了升级版，实现了基础版和升级版的并存过渡；升级版是对基础版的延续和改进，将期刊由基础版的13个学科扩展至18个，科研评价将更加明确。
| 按JIF指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q4 | 117 / 143 |
18.5%
|
| 学科：LOGIC | SCIE | Q2 | 10 / 25 |
62%
|
| 按JCI指标学科分区 | 收录子集 | 分区 | 排名 | 百分位 |
| 学科：COMPUTER SCIENCE, THEORY & METHODS | SCIE | Q2 | 69 / 143 |
52.1%
|
| 学科：LOGIC | SCIE | Q4 | 19 / 25 |
26%
|
JCR分区：JCR（Journal Citation Reports）由科睿唯安公司（前身为汤森路透）开发。JCR没有设置大类,只将期刊分为176个具体学科，也就是中科院分区中的小类学科。基于不同学科的当年影响因子高低进行排序，将期刊的数量均匀分为四个部分，Q1区代表学科分类中影响因子排名前25%的期刊，以此类推，Q2区为前25%-50%期刊，Q3区为前50%-75%期刊，Q4区为75%以后期刊。
CiteScore排名：
| 学科类别 | 分区 | 排名 | 百分位 |
| 大类：Computer Science 小类：General Computer Science | Q3 | 152 / 232 |
34%
|
| 大类：Computer Science 小类：Theoretical Computer Science | Q4 | 100 / 130 |
23%
|
CiteScore值计算方式：例如2024公布的CiteScore是将统计在 2020年-2023年间年所发表文章的引用次数除以在 2020年-2023年间所发表的发文总数。
CiteScore数据来源：是由全球著名学术出版商Elsevier（爱思唯尔）基于其Scopus数据库推出的期刊评价指标。CiteScore指数以四年区间为基准来计算每本期刊的平均被引用次数，并提供期刊领域排名、期刊分区的相关信息，它的作用是测量期刊的篇均影响力。
近年中科院分区趋势图
近年IF值(影响因子)趋势图
影响因子：是美国科学信息研究所(ISI)的期刊引证报告(JCR)中的一项数据。指的是某一期刊的文章在特定年份或时期被引用的频率，是衡量学术期刊影响力的一个重要指标。自1975年以来，每年定期发布于“期刊引证报告”(JCR)。
| 文章引用名称 | 引用次数 |
| SHRUB-DEPTH: CAPTURING HEIGH... | 9 |
| SIZE, COST, AND CAPACITY: A ... | 5 |
| A DICHOTOMY FOR FIRST-ORDER ... | 3 |
| COINDUCTIVE FOUNDATIONS OF I... | 3 |
| ON THE ALGEBRAIC STRUCTURE O... | 3 |
| SOS-BASED MODAL DECOMPOSITIO... | 2 |
| NASH EQUILIBRIUM AND BISIMUL... | 2 |
| REWRITABILITY IN MONADIC DIS... | 2 |
| DYNAMIC CAUSALITY IN EVENT S... | 2 |
| COAXIOMS: FLEXIBLE COINDUCTI... | 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 |
1、建议稿件控制10页以上，文章撰写语言为英语；（单栏格式，单倍行距，内容10号字体，文稿类型包含：原创研究(Original Research)、案例报告(Case Report)、文献综述(Literature Review)等；文件格式包含word、PDF、LaTeX等。
2、稿件重复率控制10%以内，论文务必保证原创性、图标、公式、引文等要素齐备，保证附属资料的完整。已发表或引用过度的文章将不会被出版和检索，禁止一稿多投，拒绝抄袭、机械性的稿件。
3、稿件必须有较好的英语表达水平，有图，有表，有公式，有数据或设计，有算法（方案，模型），实验，仿真等；参考文献控制25条以上，参考文献引用一半以上控制在近5年以内。
图片和图表要求：1、建议使用TIFF、EPS、JPEG格式 ，TIFF格式 使用LZW压缩。
2、文件大小最大不超过20MB，不要以单个文件的形式上传数据。
3、彩色图片的分辨率≥300dpi；黑白图片的分辨率在≥500dpi；line art图片类型的分辨率≥1000dpi；色彩模式建议采用RGB，除非期刊注明要CMYK。
4、线条不要细于0.25pt,也不能太粗，超过1.5pt,过细或过粗都影响美观。
5、表格一般和manuscrript放置在一个word文档里部分期刊 需要单独上传表格。
作者信息：1、包括作者姓名、最高学位，作者单位（精确到部门），邮箱，地址，邮编，关键词，内容，总结，项目基金，参考文献，作者相片+简介（一定要确保作者信息准确无误，提交稿件之后这部分不能再作改动）。
更多征稿细则请查阅杂志社征稿要求。本站专注期刊投稿服务十年，确保SCI检索，稿件信息安全保密，合乎学术规范不成功不收费，详情请咨询客服。
TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106
若用户需要出版服务，请联系出版商：TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区
中科院分区 4区