计算机科学中的逻辑方法 SCIE

期刊简介预计审稿时间： 较慢,6-12周

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》(计算机科学中的逻辑方法)编辑部通讯方式为TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。