艾思科蓝公众号
SCI期刊JCR分区 |
SCI期刊JCR分区等级:4区
|
||||||||||||||
最新中科院SCI期刊分区 (基础版) |
|
||||||||||||||
最新中科院SCI期刊分区 (升级版) |
|
期刊简介
|
|
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 University Press |
期刊官网 | http://journals.cambridge.org/action/displayJournal |
涉及的研究方向 | 工程技术-计算机:理论方法 |
刊期 | Bimonthly |
年文章数 | 35 |
出版国家或地区 | ENGLAND |
是否OA | 否 |
SCI期刊收录coverage | Science Citation Index Expanded (SCIE) Scopus (CiteScore) |
Cite Score相关
|
|||||||||||||||
Cite Score |
|
推荐会议
EI,Scopus
【JPCS出版/高录用快检索】第十一届先进制造技术与材料工程国际学术会议 (AMTME 2024)
会议时间:2024-05-22
截稿时间:2024-05-20
EI,Scopus,Inspec
第九届机电控制技术与交通运输国际学术会议(ICECTT 2024)
会议时间:2024-05-24
截稿时间:2024-05-20
EI,Scopus
【ACM出版】第三届控制工程与机器人技术国际研讨会(ISCER 2024)
会议时间:2024-05-24
截稿时间:2024-05-20
EI,Scopus,IEEE Xplore
【IEEE独立出版】第九届计算机与信息处理技术国际学术研讨会(ISCIPT 2024)
会议时间:2024-05-24
截稿时间:2024-05-19
IEEE Xplore,EI,Scopus
【已连续3届EI检索】第四届电子,电路和信息工程国际学术会议(ECIE 2024)
会议时间:2024-05-24
截稿时间:2024-05-20
EI,Scopus,Inspec
第五届能源电力与自动化工程国际学术会议(ICEPAE 2024)
会议时间:2024-05-24
截稿时间:2024-05-20
EI,Scopus,IEEE Xplore
【往届3个月完成见刊/检索】第五届信息科学与并行、分布式处理国际学术会议(ISPDS 2024)
会议时间:2024-05-31
截稿时间:2024-05-19
EI,Scopus,IEEE Xplore
【往届会后2-4个月检索】第五届电子通讯与人工智能学术会议(ICECAI 2024)
会议时间:2024-05-31
截稿时间:2024-05-20