來源:學術之家整理 2025-03-18 15:36:50
《Information And Computation》中文名稱:《信息與計算》,創刊于1987年,由Elsevier Inc.出版商出版,出版周期Monthly。
《信息與計算》歡迎理論計算機科學和信息理論計算應用各個領域的原創論文。質量卓越的綜述文章也將受到考慮。特別歡迎在活躍的理論領域貢獻新成果的論文,例如
-生物計算和計算生物學-
計算復雜性-
計算機定理證明-
并發和分布式過程理論-
密碼理論-
數據庫理論-
邏輯中的決策問題-
算法的設計和分析-
離散優化和數學規劃-
歸納推理和學習理論-
邏輯和約束編程-
程序驗證和模型檢查-
概率和量子計算-
編程語言的語義-
符號計算,lambda演算和重寫系統-
類型和類型檢查
旨在及時、準確、全面地報道國內外COMPUTER SCIENCE, THEORY & METHODS工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
文章引用名稱 | 引用次數 |
A semantic theory of the Int... | 5 |
A calculus for collective-ad... | 4 |
Graded modalities in Strateg... | 4 |
Practical verification of mu... | 4 |
Computation as social agency... | 3 |
Alignment-free sequence comp... | 3 |
Logical characterization of ... | 3 |
Imperfect information in Rea... | 2 |
Compositional and symbolic s... | 2 |
Descriptional complexity of ... | 2 |
被引用期刊名稱 | 數量 |
THEOR COMPUT SCI | 123 |
LOG METH COMPUT SCI | 95 |
INFORM COMPUT | 79 |
IEEE ACCESS | 55 |
J LOG ALGEBR METHODS | 46 |
ALGORITHMICA | 42 |
J COMPUT SYST SCI | 37 |
FUND INFORM | 33 |
MATH STRUCT COMP SCI | 32 |
ARTIF INTELL | 25 |
引用期刊名稱 | 數量 |
THEOR COMPUT SCI | 97 |
INFORM COMPUT | 79 |
J ACM | 48 |
SIAM J COMPUT | 45 |
J COMPUT SYST SCI | 31 |
INFORM PROCESS LETT | 23 |
INT J FOUND COMPUT S | 22 |
FUND INFORM | 21 |
IEEE T INFORM THEORY | 21 |
LOG METH COMPUT SCI | 18 |
聲明:該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們,我們將及時更正。