《计算机科学中的数学结构》是一本理论计算机科学杂志,主要研究数学和数学逻辑结构方面的思想在计算机科学中的应用。该杂志旨在弥合理论贡献和软件设计之间的差距,出版高标准和广泛调查的原始论文,在计算的所有领域都有独到的观点,前提是思想或结果来自逻辑、代数、几何学,范畴理论或其他领域的逻辑和数学构成了这项工作的基础。该杂志欢迎基于特定数学结构(如拓扑和序理论结构)的使用以及基于证明理论概念或结果的计算应用。该杂志还将接受在计算机科学、量子物理、数学和信息理论等跨学科领域的贡献。特别是将审议关于量子信息处理和通信以及量子语言设计中的相关问题的论文。该杂志还对表观遗传学现象的计算模型、蛋白质-蛋白质相互作用、分子级联中的随机性等论文感兴趣。在胚胎发生和进化的后基因组观点的广泛框架内,系统生物学的数学方法将受到欢迎。官网链接:https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science
参考链接
微信扫码咨询专知VIP会员