投稿问答最小化 关闭

投稿有问题？问问网友吧！

认证信息

Theoretical Computer Science《理论计算机科学》（官网投稿）

简介

期刊简称THEOR COMPUT SCI
参考译名《理论计算机科学》
核心类别高质量科技期刊（T3）, SCIE核心, EI 外国期刊, 目次收录（维普）, 知网外文库,外文期刊,
IF影响因子
自引率
主要研究方向计算机科学-COMPUTER SCIENCE, THEORY & METHODS计算机：理论方法。「算法、自动机、复杂性与博弈论」专注于采用解析、组合或概率方法研究算法及其复杂性，涵盖以下完整领域：抽象复杂性理论（包括基于图灵机定义的所有层次结构研究成果）；自动机与语言理论（含无限字自动机与无限语言）；几何（图形）应用领域；基于统计方法的系统性能评估。「逻辑学、语义学与编程理论」致力于运用形式化方法验证程序特性或实现形式化描述语言，收录包括：顺序/并行编程语言语义学研究；重写技术、抽象数据类型、自动定理证明；SCP/CCS等演算体系、佩特里网、新型逻辑演算；范畴化方法的创新研究。「自然计算」聚焦自然界存在的计算现象及受自然启发的计算模式，侧重与计算理论密切相关的理论基础研究，涵盖：进化计算的理论研究；神经网络理论模型；分子计算理论；量子计算理论。展开更多