• 充值
  • 会员
  • 职称材料
搜期刊
刊名

文献信息

  • 任意字段
  • 主题词
  • 篇关摘
  • 篇名
  • 关键词
  • 摘要
  • 作者
  • 第一作者
  • 作者单位
  • 刊名
  • 中图分类号
  • 学科分类号
  • DOI
  • 基金
文献检索

英国
投稿预审
Mathematical Structures in Computer Science 中科院4区 JCR:Q3 SCIE EI JST
发文量 1,342
被引量 20,013
影响因子(2025版) 0.442

The journal Mathematical Structures in Computer Science publishes work that uses mathematical structures to advance the theory and practice of computer science. Mathematical structures should be understood broadly, and may include ideas and tools from logic, algebra, category theory, topology or geometry, from probability theory, from information theory, etc., insofar as there is an eye to improving our understanding of computer science and its mathematical foundations, or conversely to the transfer of conceptual knowledge or methods acquired in area(s) of computer science to various areas of mathematics.

  • 主办单位： CAMBRIDGE UNIV PRESS
  • 出版地区： CAMBRIDGE
  • 出版周期： 年刊
  • 别名： MATH STRUCT COMP SCI;Math. Struct. Comput. Sci.;MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE;计算机科学中的数学结构
  • 国际标准连续出版物号/电子版： ISSN 0960-1295 / EISSN 1469-8072
  • 创刊时间： 1991年
热门主题：

Scott拓扑自然数集合微积分学类型系统线性逻辑范畴理论PETRI网模型计算机科学领域理论类型理论专刊专版纸面压纹机Lambda演算构造性数学Conley指标笛卡儿闭范畴代数学APL语言模态逻辑学语义学

收录汇总 栏目浏览 期刊详情
收录汇总
出版文献
期刊详情
新发布(2025版)
分析评价
  • 1
  • 2
  • 3
目录
封面
2013年6期

2013年6期

客服咨询
投稿相关：023-63416211
撤稿相关：023-63012682
查重相关：023-63506028
重庆维普资讯有限公司 渝B2-20050021-1 渝公网备 50019002500403
违法和不良信息举报中心   举报邮箱：jubao@cqvip.com   互联网算法推荐专项举报：sfjubao@cqvip.com    网络暴力专项举报: bljubao@cqvip.com
网络出版：（署）网出证（渝）字第014号    出版物经营许可证：新出发2018批字第006号