来源:学术之家整理 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 |
声明:该作品系作者结合互联网公开知识整合。如有错漏请联系我们,我们将及时更正。