相关费用:选择性费用 ︾Open Access
Article Publishing Charge (APC): USD 2,880 (excluding taxes). The amount you pay may be reduced during submission if applicable.
Subscription
No publication fee charged to authors, and published articles are immediately available to subscribers.
投稿方式--官网投稿
研究方向:计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机:理论方法。「算法、自动机、复杂性与博弈论」专注于采用解析、组合或概率方法研究算法及其复杂性,涵盖以下完整领域:抽象复杂性理论(包括基于图灵机定义的所有层次结构研究成果);自动机与语言理论(含无限字自动机与无限语言);几何(图形)应用领域;基于统计方法的系统性能评估。「逻辑学、语义学与编程理论」致力于运用形式化方法验证程序特性或实现形式化描述语言,收录包括:顺序/并行编程语言语义学研究;重写技术、抽象数据类型、自动定理证明;SCP/CCS等演算体系、佩特里网、新型逻辑演算;范畴化方法的创新研究。「自然计算」聚
出版地址:ELSEVIER SCIENCE BV, PO BOX 211, AMSTERDAM, NETHERLANDS, 1000 AE
期刊简介:Theoretical Computer Science《理论计算机科学》(一年42期). Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.