期刊簡介

計算機科學中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的一本工程技術-計算機：理論方法學術刊物，主要報道工程技術-計算機：理論方法相關領域研究成果與實踐。本刊已入選來源期刊，該刊創(chuàng)刊于2005年，出版周期Irregular。2021-2022年最新版WOS分區(qū)等級：Q2，2023年發(fā)布的影響因子為0.6，CiteScore指數1.8，SJR指數0.573。本刊為開放獲取期刊。

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

計算機科學中的邏輯方法主題：

代數方法

自動機和邏輯

自動推理

分類模型和邏輯

共代數方法

可計算性和邏輯

計算機輔助驗證

并發(fā)理論

約束編程

信息物理系統(tǒng)

數據庫理論

可廢止推理

領域理論

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

新興主題：量子計算和邏輯

有限模型理論

形式化數學

函數式編程和 lambda 演算

歸納邏輯和學習

交互式證明檢查

邏輯和算法

邏輯和復雜性

邏輯和游戲

邏輯和概率

知識表示邏輯

邏輯編程

程序邏輯

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

程序分析和類型檢查

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

證明復雜性

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

關于動作和計劃的推理

可滿足性

安全性

編程語言的語義

術語重寫和方程邏輯

類型理論和建設性數學。