MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

期刊基本信息

期刊名称：MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

出版国家或地区：ENGLAND

是否OA：No

期刊ISSN：0960-1295

期刊官方网站：http://journals.cambridge.org/action/displayJournal?jid=MSC

期刊投稿网址：http://mc.manuscriptcentral.com/mscs

通讯方式：CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473

涉及的研究方向：工程技术-计算机：理论方法

出版周期：Bimonthly

期刊数据表：

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE英文简介：

Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results. The journal will also accept contributions in new interdisciplinary fields bridging computer science, quantum physics, mathematics and information theory. In particular, papers on quantum information processing and communication, as well as on the related issues in quantum language design will be considered. The journal is also interested in papers on computational modelling of epigenetics phenomena, protein-protein interaction, stochasticity in molecular cascades. Mathematical approches to System Biology will be welcomed, within the broad frame of post-genomic views of embryogenesis and evolution.

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE中文简介：

《计算机科学中的数学结构》是一本理论计算机科学期刊，侧重于从数学结构和数学逻辑的角度将思想应用于计算机科学。杂志旨在桥之间的差距理论贡献和软件设计，发布一个高标准的原始论文和广泛调查与原始视角在各领域的计算，提供了思想或结果的逻辑，代数、几何、类别或其他领域的逻辑理论和数学形式的基础工作。该杂志欢迎应用计算的基础上使用特定的数学结构(如拓扑和顺序理论结构)，以及证明理论的概念或结果。该杂志还将接受在连接计算机科学、量子物理、数学和信息理论的新跨学科领域的贡献。特别是关于量子信息处理和通信以及量子语言设计相关问题的论文将被考虑。该杂志还对表观遗传学现象的计算模型、蛋白质-蛋白质相互作用、分子级联中的随机性等方面的论文感兴趣。在胚胎发生和进化的后基因组观的大框架内，将欢迎用数学方法研究系统生物学。

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE在线问答：