Information and Computation《信息与计算》 （）

等待设置主要研究方向

计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法；MATHEMATICS, APPLIED应用数学。理论计算机科学各领域及信息论计算应用方面；特别鼓励在以下理论领域中的新成果研究：生物计算与计算生物学；计算复杂性理论；计算机定理证明；并发性与分布式进程理论；密码学理论；数据库理论；逻辑中的判定问题；算法设计与分析；离散优化与数学规划；归纳推理与学习理论；逻辑与约束编程；程序验证与模型检测；概率与量子计算；编程语言语义学；符号计算、λ演算与重写系统；类型理论与类型检验。