來源：學術之家整理 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 |
聲明：該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們，我們將及時更正。
