來源:學術之家整理 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 |
聲明:該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們,我們將及時更正。