您当前位置：首页 > 国际期刊-Logical Methods in Computer Science期刊投稿发表详细信息

Logical Methods in Computer Science Q2

期刊收录：
SCIE
Scopus
DOAJ

基本信息

期刊ISSN：
1860-5974
期刊简拼：
LOG METH COMPUT SCI
年发文章数：
82
E-ISSN：
Gold OA文章占比
78.21%
研究文章占比：
100.00%
是否OA：
Yes
Jcr分区：
Q2
中科院分区：
4区

出版信息

出版商：
Technischen Universitat Braunschweig
涉及研究方向：
工程技术-计算机：理论方法
出版国家：
GERMANY
出版语言：
English
出版周期：
Irregular
出版年份：

2023-2024最新影响因子:0.6
自引率:16.70%
五年影响因子:0.7
JCI期刊引文指标:0.52
h-index:31
CiteScore:1.80

期刊关键词

2区 SCIE Scopus DOAJ 数学 4区 COMPUTER SCIENCE THEORY & METHODS 计算机：理论方法 LOGIC 逻辑学

期刊简介

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.