《Logical Methods In Computer Science》國際標準刊號?ISSN：1860-5974，電子期刊的國際標準刊號：1860-5974。
創刊時間：2005年
出版周期：Irregular
出版語言：English
國際簡稱：LOG METH COMPUT SCI
研究方向：工程技術 - 計算機：理論方法
期刊定位與內容：
計算機科學中的邏輯方法(Logical Methods In Computer Science)是一本由Technischen Universitat Braunschweig出版的學術刊物，主要報道工程技術-計算機：理論方法相關領域研究成果與實踐。本刊已入選來源期刊，該刊創刊于2005年，出版周期Irregular。
《計算機科學中的邏輯方法》發表專家撰寫的簡短易懂的評論，重點介紹計算機：理論方法的最新關鍵主題。每篇文章都是對該主題的最新、完整的總結，方便尚未深入研究的人閱讀。
《計算機科學中的邏輯方法》是一本經過全面評審的免費電子期刊，可免費訪問。它歡迎發表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文；其范圍內的一些特定領域如下所列。論文以傳統方式評審，每篇論文由兩名或多名評審員評審。版權歸作者所有。
計算機科學中的邏輯方法主題：
代數方法
自動機和邏輯
自動推理
分類模型和邏輯
共代數方法
可計算性和邏輯
計算機輔助驗證
并發理論
約束編程
信息物理系統
數據庫理論
可廢止推理
領域理論
新興主題：生物學中的計算系統
新興主題：量子計算和邏輯
有限模型理論
形式化數學
函數式編程和 lambda 演算
歸納邏輯和學習
交互式證明檢查
邏輯和算法
邏輯和復雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態和時間邏輯
程序分析和類型檢查
程序開發和規范
證明復雜性
實時和混合系統
關于動作和計劃的推理
可滿足性
安全性
編程語言的語義
術語重寫和方程邏輯
類型理論和建設性數學。
出版周期與發文量：
該雜志出版周期Irregular。近年來，該期刊的年發文量約為82篇。
學術影響力：
2021-2022年最新版WOS分區等級：Q2，2023年發布的影響因子為0.6，CiteScore指數1.8，SJR指數0.573。本刊為開放獲取期刊。
Cite Score（2024年最新版）
- CiteScore：1.8
- SJR：0.573
- SNIP：0.931
| 學科類別 | 分區 | 排名 | 百分位 |
| 大類：Computer Science 小類：General Computer Science | Q3 | 152 / 232 |
34%
|
| 大類：Computer Science 小類：Theoretical Computer Science | Q4 | 100 / 130 |
23%
|
CiteScore：該指標由Elsevier于2016年提出，指期刊發表的單篇文章平均被引用次數。CiteScorer的計算方式是：例如，某期刊2022年CiteScore的計算方法是該期刊在2019年、2020年和2021年發表的文章在2022年獲得的被引次數，除以該期刊2019年、2020年和2021發表并收錄于Scopus中的文章數量總和。
投稿咨詢聲明：本信息依據互聯網公開資料整理，若存在錯誤，請及時聯系我們及時更正。
