INFORMATION AND COMPUTATION SCISCIE

中文简介

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

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

英文简介

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