Logical Methods In Computer Science

杂志介绍

Logical Methods In Computer Science杂志介绍

《Logical Methods In Computer Science》是一本以English为主的开放获取国际优秀期刊，中文名称计算机科学中的逻辑方法，本刊主要出版、报道数学-COMPUTER SCIENCE, THEORY & METHODS领域的研究动态以及在该领域取得的各方面的经验和科研成果，介绍该领域有关本专业的最新进展，探讨行业发展的思路和方法，以促进学术信息交流，提高行业发展。该刊已被国际权威数据库SCIE收录，为该领域相关学科的发展起到了良好的推动作用，也得到了本专业人员的广泛认可。该刊最新影响因子为0.6，最新CiteScore 指数为1.8。

英文介绍

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.