MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
ISSN:0960-1295

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

MATH STRUCT COMP SCI
学科领域:计算机科学
是否预警:不在预警名单内
是否OA:
录用周期:>12周,或约稿
新锐分区:计算机科学4区
年发文量:35
影响因子:0.9
JCR分区:Q3

基本信息

《计算机科学中的数学结构》(Mathematical Structures in Computer Science)是一本理论计算机科学期刊,专注于将数学和数理逻辑的结构方面的思想应用于计算机科学。该杂志旨在弥合理论贡献和软件设计之间差距,发表高标准的原创论文和广泛的调查与计算的所有领域的原创观点,前提是逻辑,代数,几何,范畴论或其他逻辑和数学领域的想法或结果构成工作的基础。该杂志欢迎基于特定数学结构(如拓扑和序理论结构)以及证明理论概念或结果的计算应用。
0960-1295SCIE/Scopus收录
0.9
0.8
2026年3月发布
点击查看历史分区趋势    >
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
3区
N/A
WOS期刊SCI分区  2024-2025最新升级版
按JIF指标学科分区收集子录JIF分区JIF排名百分位
学科:COMPUTER SCIENCE, THEORY & METHODS
SCIE
Q3
102/147
按JCR指标学科分区收集子录JCR分区JCR排名百分位
学科:COMPUTER SCIENCE, THEORY & METHODS
SCIE
Q4
125/147
36
35
3%容易>12周,或约稿-工程技术-计算机:理论方法
0%
时间预警情况
2026年03月发布的新锐学术版不在预警名单中
2025年03月发布的2025版不在预警名单中
2024年02月发布的2024版不在预警名单中
2023年01月发布的2023版不在预警名单中
2021年12月发布的2021版不在预警名单中
2020年12月发布的2020版不在预警名单中
100.00%49.12%-
CiteScore:1.40
SJR:0.426
SNIP:0.997
学科类别分区排名百分位
大类:Mathematics
小类:Mathematics (miscellaneous)
Q2
52 / 109
大类:Mathematics
小类:Computer Science Applications
Q3
708 / 947

期刊高被引文献

Homotopy Type-Theoretic Interpretations of Constructive Set Theories
来源期刊:Mathematical Structures in Computer ScienceDOI:10.1017/S0960129519000148

相关文章

2026年3月发布(新锐分区)
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
3区
N/A
2025年3月升级版
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区
2023年12月旧的升级版
大类学科小类学科Top期刊综述期刊
计算机科学4区
COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法
4区