Mathematical Structures in Computer Science

SCI期刊
Mathematical Structures in Computer Science
中文名称:
计算机科学中的数学结构
期刊缩写:
Math. Struct. Comput. Sci.
影响因子:
0.4
ISSN:
print: 0960-1295
on-line: 1469-8072
研究领域:
工程技术-计算机:理论方法
h-index:
36
自引率:
0.00%
Gold OA文章占比:
41.60%
原创研究文献占比:
100.00%
SCI收录类型:
Science Citation Index Expanded (SCIE) || Scopus (CiteScore)
期刊介绍英文:
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.
CiteScore:
CiteScoreSJRSNIPCiteScore排名
1.50.4860.733
学科
排名
百分位
大类:Mathematics
小类:Mathematics (miscellaneous)
39 / 90
57%
大类:Computer Science
小类:Computer Science Applications
639 / 817
21%
发文信息
中科院SCI期刊分区
大类 小类 TOP期刊 综述期刊
4区 计算机科学
4区 计算机:理论方法 COMPUTER SCIENCE, THEORY & METHODS
WOS期刊分区
学科分类
Q4COMPUTER SCIENCE, THEORY & METHODS
历年影响因子
2019年0.6470
2020年0.6370
2021年0.6160
2022年0.5000
2023年0.4000
历年发表
2012年50
2013年54
2014年143
2015年68
2016年52
2017年39
2018年32
2019年39
2020年44
2021年45
2022年30
投稿信息
出版周期:
Bimonthly
出版语言:
English
出版国家(地区):
ENGLAND
接受率:
100%
审稿时长:
12 months
出版商:
Cambridge University Press
编辑部地址:
CAMBRIDGE UNIV PRESS, 32 AVENUE OF THE AMERICAS, NEW YORK, USA, NY, 10013-2473

Mathematical Structures in Computer Science - 最新文献

On Hofmann–Streicher universes

Pub Date : 2024-09-19 DOI: 10.1017/s0960129524000203 Steve Awodey

T0-spaces and the lower topology

Pub Date : 2024-09-19 DOI: 10.1017/s0960129524000240 Jimmie Lawson, Xiaoquan Xu

GADTs are not (Even partial) functors

Pub Date : 2024-08-27 DOI: 10.1017/s0960129524000161 Pierre Cagne, Enrico Ghiorzi, Patricia Johann
查看全部
免责声明:
本页显示期刊或杂志信息,仅供参考学习,不是任何期刊杂志官网,不涉及出版事务,特此申明。如需出版一切事务需要用户自己向出版商联系核实。若本页展示内容有任何问题,请联系我们,邮箱:info@booksci.cn,我们会认真核实处理。
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信