0

INFORMATION AND COMPUTATION

主办单位:Elsevier Inc.

出版周期: 未知

刊物简介
投稿经验
相关期刊
信息和计算欢迎在理论计算机科学和信息理论的计算应用所有领域的原始论文。还将考虑高质量的调查文章。尤其受欢迎的论文是在生物计算和计算生物学-计算复杂性-计算机定理-证明-并发和分布过程理论-密码理论-数据库理论等活跃的理论领域中贡献新的成果-逻辑中的决策问题-的设计与分析算法-离散优化和数学编程-归纳推理和学习理论-逻辑和约束编程-程序验证和模型检查-概率和量子计算-编程语言的语义-符号计算,lambda演算和重写系统-类型和类型检查
收藏
暂不支持预投