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 as-Biological computation and computational biology-Computational complexity-Computer theorem-proving-Concurrency and distributed process theory-Cryptographic theory-Data base theory-Decision problems in logic-Design and analysis of algorithms-Discrete optimization and mathematical programming-Inductive inference and learning theory-Logic & constraint programming-Program verification & model checking-Probabilistic & Quantum computation-Semantics of programming languages-Symbolic computation, lambda calculus, and rewriting systems-Types and typechecking

【译文】欢迎投稿涵盖理论计算机科学所有领域以及信息论计算应用的原创论文。也将考虑高质量的综合文章。特别欢迎在活跃的理论领域如生物计算和计算生物学、计算复杂性、计算机定理证明、并发和分布式过程理论、密码学理论、数据库理论、逻辑中的决策问题、算法的设计与分析、离散优化和数学规划、归纳推理和学习理论、逻辑与约束编程、程序验证与模型检查、概率计算与量子计算、程序设计语言的语义、符号计算、lambda演算和重写系统、类型和类型检查等方面取得新成果的论文。