INFORMATION AND COMPUTATION

期刊基本信息

期刊名称：INFORMATION AND COMPUTATION

出版国家或地区：UNITED STATES

是否OA：No

期刊ISSN：0890-5401

期刊官方网站：http://iandc.csail.mit.edu/

期刊投稿网址：http://iandc.csail.mit.edu/

通讯方式：ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495

涉及的研究方向：工程技术-计算机：理论方法

出版周期：Monthly

期刊数据表：

INFORMATION AND COMPUTATION英文简介：

Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such asBiological computation and computational biologyComputational complexityComputer theorem-provingConcurrency and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilistic & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typechecking

INFORMATION AND COMPUTATION中文简介：

信息与计算欢迎所有领域的理论计算机科学和计算应用理论的原始论文。此外，亦会考虑品质优良的检验物品。特别受欢迎的是在活跃的理论领域如生物计算和计算生物学计算复杂度电脑定理证明并发与分布式过程理论密码理论数据基础理论逻辑决策问题算法设计与分析离散优化与数学规划归纳推理与学习理论逻辑与约束规划程序验证和模型检查概率与量子计算程序设计语言的语义符号计算、lambda演算和重写系统类型和类型查询

INFORMATION AND COMPUTATION在线问答：