来源：学术之家整理 2025-03-18 15:39:08
《Mathematical Structures In Computer Science》中文名称：《计算机科学中的数学结构》，创刊于1991年，由Cambridge University Press出版商出版，出版周期Bimonthly。
《计算机科学中的数学结构》是一本理论计算机科学期刊，侧重于将数学结构和数理逻辑的思想应用于计算机科学。该期刊旨在弥合理论贡献与软件设计之间的差距，发表高标准的原创论文和具有原创观点的广泛调查，涵盖计算的所有领域，前提是逻辑、代数、几何、范畴论或其他逻辑和数学领域的思想或结果构成了工作的基础。该期刊欢迎基于特定数学结构（例如拓扑和序论结构）的使用以及基于证明论概念或结果的计算应用。
旨在及时、准确、全面地报道国内外COMPUTER SCIENCE, THEORY & METHODS工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。
| 机构名称 | 发文量 |
| CENTRE NATIONAL DE LA R... | 24 |
| UNIVERSITE DE PARIS | 12 |
| INRIA | 8 |
| RADBOUD UNIVERSITY NIJM... | 6 |
| AIX-MARSEILLE UNIVERSIT... | 5 |
| UNIVERSITE DE LORRAINE | 5 |
| UNIVERSITE DE TOULOUSE | 5 |
| UNIVERSITY OF MILAN | 5 |
| CARNEGIE MELLON UNIVERS... | 4 |
| HUNAN UNIVERSITY | 4 |
| 国家/地区 | 发文量 |
| France | 46 |
| USA | 20 |
| Italy | 17 |
| England | 12 |
| Canada | 10 |
| GERMANY (FED REP GER) | 10 |
| Netherlands | 10 |
| Russia | 9 |
| CHINA MAINLAND | 6 |
| Denmark | 6 |
| 文章引用名称 | 引用次数 |
| A quantum algorithm to appro... | 5 |
| Brouwer's fixed-point theore... | 5 |
| Polygraphs of finite derivat... | 4 |
| Subexponentials in non-commu... | 3 |
| On the expressiveness of pi-... | 3 |
| Proof-relevant pi-calculus: ... | 3 |
| Autostability spectra for de... | 3 |
| Calibrating word problems of... | 3 |
| Quotienting the delay monad ... | 2 |
| Cellular automata over gener... | 2 |
| 被引用期刊名称 | 数量 |
| LOG METH COMPUT SCI | 58 |
| MATH STRUCT COMP SCI | 50 |
| J LOG ALGEBR METHODS | 22 |
| J AUTOM REASONING | 21 |
| J LOGIC COMPUT | 19 |
| FUND INFORM | 14 |
| THEOR APPL CATEG | 14 |
| THEOR COMPUT SCI | 13 |
| INT J THEOR PHYS | 12 |
| SCI COMPUT PROGRAM | 12 |
| 引用期刊名称 | 数量 |
| THEOR COMPUT SCI | 86 |
| MATH STRUCT COMP SCI | 50 |
| INFORM COMPUT | 32 |
| ANN PURE APPL LOGIC | 26 |
| J LOGIC COMPUT | 26 |
| PHYS REV A | 20 |
| ACM T COMPUT LOG | 18 |
| J SYMBOLIC LOGIC | 18 |
| LOG METH COMPUT SCI | 18 |
| J ACM | 14 |
声明：该作品系作者结合互联网公开知识整合。如有错漏请联系我们，我们将及时更正。
