來源：學術之家整理 2025-03-18 15:39:06
《Logical Methods In Computer Science》中文名稱：《計算機科學中的邏輯方法》，創刊于2005年，由Technischen Universitat Braunschweig出版商出版，出版周期Irregular。
《計算機科學中的邏輯方法》是一本經過全面評審的免費電子期刊，可免費訪問。它歡迎發表涉及廣義邏輯方法的計算機科學理論和實踐領域的論文；其范圍內的一些特定領域如下所列。論文以傳統方式評審，每篇論文由兩名或多名評審員評審。版權歸作者所有。
計算機科學中的邏輯方法主題：
代數方法
自動機和邏輯
自動推理
分類模型和邏輯
共代數方法
可計算性和邏輯
計算機輔助驗證
并發理論
約束編程
信息物理系統
數據庫理論
可廢止推理
領域理論
新興主題：生物學中的計算系統
新興主題：量子計算和邏輯
有限模型理論
形式化數學
函數式編程和 lambda 演算
歸納邏輯和學習
交互式證明檢查
邏輯和算法
邏輯和復雜性
邏輯和游戲
邏輯和概率
知識表示邏輯
邏輯編程
程序邏輯
模態和時間邏輯
程序分析和類型檢查
程序開發和規范
證明復雜性
實時和混合系統
關于動作和計劃的推理
可滿足性
安全性
編程語言的語義
術語重寫和方程邏輯
類型理論和建設性數學。
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 文章引用名稱 | 引用次數 |
| SHRUB-DEPTH: CAPTURING HEIGH... | 9 |
| SIZE, COST, AND CAPACITY: A ... | 5 |
| A DICHOTOMY FOR FIRST-ORDER ... | 3 |
| COINDUCTIVE FOUNDATIONS OF I... | 3 |
| ON THE ALGEBRAIC STRUCTURE O... | 3 |
| SOS-BASED MODAL DECOMPOSITIO... | 2 |
| NASH EQUILIBRIUM AND BISIMUL... | 2 |
| REWRITABILITY IN MONADIC DIS... | 2 |
| DYNAMIC CAUSALITY IN EVENT S... | 2 |
| COAXIOMS: FLEXIBLE COINDUCTI... | 2 |
| 被引用期刊名稱 | 數量 |
| LOG METH COMPUT SCI | 103 |
| J LOG ALGEBR METHODS | 25 |
| FUND INFORM | 18 |
| INFORM COMPUT | 18 |
| MATH STRUCT COMP SCI | 18 |
| ACM T COMPUT LOG | 15 |
| J AUTOM REASONING | 15 |
| THEOR COMPUT SCI | 13 |
| J COMPUT SYST SCI | 11 |
| J FUNCT PROGRAM | 11 |
| 引用期刊名稱 | 數量 |
| THEOR COMPUT SCI | 192 |
| LOG METH COMPUT SCI | 103 |
| INFORM COMPUT | 95 |
| ANN PURE APPL LOGIC | 63 |
| J ACM | 63 |
| MATH STRUCT COMP SCI | 58 |
| J COMPUT SYST SCI | 43 |
| ACM T COMPUT LOG | 39 |
| J SYMBOLIC LOGIC | 39 |
| J LOGIC COMPUT | 36 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
