期刊簡(jiǎn)介預(yù)計(jì)審稿時(shí)間： 較慢,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.

《計(jì)算機(jī)科學(xué)中的邏輯方法》是一本經(jīng)過全面評(píng)審的免費(fèi)電子期刊，可免費(fèi)訪問。它歡迎發(fā)表涉及廣義邏輯方法的計(jì)算機(jī)科學(xué)理論和實(shí)踐領(lǐng)域的論文；其范圍內(nèi)的一些特定領(lǐng)域如下所列。論文以傳統(tǒng)方式評(píng)審，每篇論文由兩名或多名評(píng)審員評(píng)審。版權(quán)歸作者所有。

計(jì)算機(jī)科學(xué)中的邏輯方法主題：

代數(shù)方法

自動(dòng)機(jī)和邏輯

自動(dòng)推理

分類模型和邏輯

共代數(shù)方法

可計(jì)算性和邏輯

計(jì)算機(jī)輔助驗(yàn)證

并發(fā)理論

約束編程

信息物理系統(tǒng)

數(shù)據(jù)庫理論

可廢止推理

領(lǐng)域理論

新興主題：生物學(xué)中的計(jì)算系統(tǒng)

新興主題：量子計(jì)算和邏輯

有限模型理論

形式化數(shù)學(xué)

函數(shù)式編程和 lambda 演算

歸納邏輯和學(xué)習(xí)

交互式證明檢查

邏輯和算法

邏輯和復(fù)雜性

邏輯和游戲

邏輯和概率

知識(shí)表示邏輯

邏輯編程

程序邏輯

模態(tài)和時(shí)間邏輯

程序分析和類型檢查

程序開發(fā)和規(guī)范

證明復(fù)雜性

實(shí)時(shí)和混合系統(tǒng)

關(guān)于動(dòng)作和計(jì)劃的推理

可滿足性

安全性

編程語言的語義

術(shù)語重寫和方程邏輯

類型理論和建設(shè)性數(shù)學(xué)。

《Logical Methods In Computer Science》(計(jì)算機(jī)科學(xué)中的邏輯方法)編輯部通訊方式為TECH UNIV BRAUNSCHWEIG, INST THEORETICAL COMPUTER SCI, MUHLENPFORDTSTR 22-23, BRAUNSCHWEIG, GERMANY, 38106。如果您需要協(xié)助投稿或潤(rùn)稿服務(wù)，您可以咨詢我們的客服老師。我們專注于期刊咨詢服務(wù)十年，熟悉發(fā)表政策，可為您提供一對(duì)一投稿指導(dǎo)，避免您在投稿時(shí)頻繁碰壁，節(jié)省您的寶貴時(shí)間，有效提升發(fā)表機(jī)率，確保SCI檢索（檢索不了全額退款）。我們視信譽(yù)為生命，多方面確保文章安全保密，在任何情況下都不會(huì)泄露您的個(gè)人信息或稿件內(nèi)容。