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

文献信息

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

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

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.

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

Linear LogicType TheoryLambda CalculusHomotopy TypeSpecial IssueType SystemProgramming LanguagesDOMAIN TheoryComputer ScienceCalculusCategory TheoryMathematical StructuresScott TopologyTopological SpacesCartesian Closed CategoryModal LogicSequent CalculusConstructive MathematicsProof TheoryMetric Spaces

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

2025年--期

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