信息与计算 SCIE

期刊简介预计审稿时间： 约24.0个月

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演算和重写系统-

类型和类型检查

《Information And Computation》(信息与计算)编辑部通讯方式为ACADEMIC PRESS INC ELSEVIER SCIENCE, 525 B ST, STE 1900, SAN DIEGO, USA, CA, 92101-4495。如果您需要协助投稿或润稿服务，您可以咨询我们的客服老师。我们专注于期刊投稿服务十年，熟悉发表政策，可为您提供一对一投稿指导，避免您在投稿时频繁碰壁，节省您的宝贵时间，有效提升发表机率，确保SCI检索（检索不了全额退款）。我们视信誉为生命，多方面确保文章安全保密，在任何情况下都不会泄露您的个人信息或稿件内容。