來(lái)源:學(xué)術(shù)之家整理 2025-03-18 15:39:06
《Logical Methods In Computer Science》中文名稱(chēng):《計(jì)算機(jī)科學(xué)中的邏輯方法》,創(chuàng)刊于2005年,由Technischen Universitat Braunschweig出版商出版,出版周期Irregular。
《計(jì)算機(jī)科學(xué)中的邏輯方法》是一本經(jīng)過(guò)全面評(píng)審的免費(fèi)電子期刊,可免費(fèi)訪問(wèn)。它歡迎發(fā)表涉及廣義邏輯方法的計(jì)算機(jī)科學(xué)理論和實(shí)踐領(lǐng)域的論文;其范圍內(nèi)的一些特定領(lǐng)域如下所列。論文以傳統(tǒng)方式評(píng)審,每篇論文由兩名或多名評(píng)審員評(píng)審。版權(quán)歸作者所有。
計(jì)算機(jī)科學(xué)中的邏輯方法主題:
代數(shù)方法
自動(dòng)機(jī)和邏輯
自動(dòng)推理
分類(lèi)模型和邏輯
共代數(shù)方法
可計(jì)算性和邏輯
計(jì)算機(jī)輔助驗(yàn)證
并發(fā)理論
約束編程
信息物理系統(tǒng)
數(shù)據(jù)庫(kù)理論
可廢止推理
領(lǐng)域理論
新興主題:生物學(xué)中的計(jì)算系統(tǒng)
新興主題:量子計(jì)算和邏輯
有限模型理論
形式化數(shù)學(xué)
函數(shù)式編程和 lambda 演算
歸納邏輯和學(xué)習(xí)
交互式證明檢查
邏輯和算法
邏輯和復(fù)雜性
邏輯和游戲
邏輯和概率
知識(shí)表示邏輯
邏輯編程
程序邏輯
模態(tài)和時(shí)間邏輯
程序分析和類(lèi)型檢查
程序開(kāi)發(fā)和規(guī)范
證明復(fù)雜性
實(shí)時(shí)和混合系統(tǒng)
關(guān)于動(dòng)作和計(jì)劃的推理
可滿足性
安全性
編程語(yǔ)言的語(yǔ)義
術(shù)語(yǔ)重寫(xiě)和方程邏輯
類(lèi)型理論和建設(shè)性數(shù)學(xué)。
旨在及時(shí)、準(zhǔn)確、全面地報(bào)道國(guó)內(nèi)外COMPUTER SCIENCE, THEORY & METHODS工作者在該領(lǐng)域的科學(xué)研究等工作中取得的經(jīng)驗(yàn)、科研成果、技術(shù)革新、學(xué)術(shù)動(dòng)態(tài)等。
| 文章引用名稱(chēng) | 引用次數(shù) |
| 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 |
| 被引用期刊名稱(chēng) | 數(shù)量 |
| 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 |
| 引用期刊名稱(chēng) | 數(shù)量 |
| 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 |
聲明:該作品系作者結(jié)合互聯(lián)網(wǎng)公開(kāi)知識(shí)整合。如有錯(cuò)漏請(qǐng)聯(lián)系我們,我們將及時(shí)更正。