它的目的是理解计算的本质，并因此提供更有效的方法。所有介绍或研究数学、逻辑和形式概念和方法的论文都是受欢迎的，前提是它们的动机显然来自计算领域。理论计算机科学发表的论文按其性质分为三个部分。第一部分“算法，自动机，复杂性和游戏”致力于研究算法及其复杂性，使用分析，组合或概率的方法。它包括抽象复杂性的整个领域（即，所有可以使用图灵机器定义的层次结构的结果）、自动机和语言理论的整个领域（包括无限词和无限语言的自动机），整个几何（图形）应用领域和使用统计方法测量系统性能的整个领域。官网链接：https://www.sciencedirect.com/journal/theoretical-computer-science/about/aims-and-scope
微信扫码咨询专知VIP会员