Journal Title: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
Information and Computation 欢迎理论计算机科学和信息论计算应用所有领域的原创论文。也将考虑质量卓越的调查文章。特别欢迎在活跃的理论领域贡献新成果的论文,例如
-生物计算与计算生物学-
计算复杂度-
计算机定理证明-
并发和分布式过程理论-
密码学理论-
数据库理论-
逻辑中的决策问题-
算法的设计与分析-
离散优化和数学规划-
归纳推理和学习理论-
逻辑和约束规划-
程序验证和模型检查-
概率和量子计算-
编程语言的语义-
符号计算、λ演算和重写系统-
类型和类型检查
大类学科 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 MATHEMATICS, APPLIED 应用数学 | 4区 | 是 | 是 |
大类学科 | 小类学科 | 分区 |
计算机科学 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 MATHEMATICS, APPLIED 应用数学 | 4区 |
期刊名称 | 领域 | 中科院分区 | 影响因子 |
International Journal Of Wavelets Multiresolution And Information Processing | 计算机科学 | 4区 | 1.400 |
Archives Of Control Sciences | 计算机科学 | 4区 | 1.200 |
International Journal Of Unconventional Computing | 计算机科学 | 4区 | 1.700 |
Ieee Pervasive Computing | 计算机科学 | 4区 | 1.600 |
Rairo-theoretical Informatics And Applications | 计算机科学 | 4区 | 0.600 |
Ieee Consumer Electronics Magazine | 计算机科学 | 4区 | 4.500 |