《Logical Methods In Computer Science》國際標準刊號?ISSN：1860-5974，電子期刊的國際標準刊號：1860-5974。

創(chuàng)刊時間：2005年

出版周期：Irregular

出版語言：English

國際簡稱：LOG METH COMPUT SCI

研究方向：工程技術(shù) - 計算機：理論方法

期刊定位與內(nèi)容：

計算機科學(xué)中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的學(xué)術(shù)刊物，主要報道工程技術(shù)-計算機：理論方法相關(guān)領(lǐng)域研究成果與實踐。本刊已入選來源期刊，該刊創(chuàng)刊于2005年，出版周期Irregular。

《計算機科學(xué)中的邏輯方法》發(fā)表專家撰寫的簡短易懂的評論，重點介紹計算機：理論方法的最新關(guān)鍵主題。每篇文章都是對該主題的最新、完整的總結(jié)，方便尚未深入研究的人閱讀。

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

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

代數(shù)方法

自動機和邏輯

自動推理

分類模型和邏輯

共代數(shù)方法

可計算性和邏輯

計算機輔助驗證

并發(fā)理論

約束編程

信息物理系統(tǒng)

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

可廢止推理

領(lǐng)域理論

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

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

有限模型理論

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

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

歸納邏輯和學(xué)習

交互式證明檢查

邏輯和算法

邏輯和復(fù)雜性

邏輯和游戲

邏輯和概率

知識表示邏輯

邏輯編程

程序邏輯

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

程序分析和類型檢查

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

證明復(fù)雜性

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

關(guān)于動作和計劃的推理

可滿足性

安全性

編程語言的語義

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

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

出版周期與發(fā)文量：

該雜志出版周期Irregular。近年來，該期刊的年發(fā)文量約為82篇。

學(xué)術(shù)影響力：

2021-2022年最新版WOS分區(qū)等級：Q2，2023年發(fā)布的影響因子為0.6，CiteScore指數(shù)1.8，SJR指數(shù)0.573。本刊為開放獲取期刊。

聲明：本信息依據(jù)互聯(lián)網(wǎng)公開資料整理，若存在錯誤，請及時聯(lián)系我們及時更正。