Journal Title:Mathematical Structures In Computer Science
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.
Mathematical Structures in Computer Science 是一本理论计算机科学期刊,侧重于将数学和数理逻辑的结构方面的思想应用于计算机科学。该杂志旨在弥合理论贡献和软件设计之间的差距,发表高标准和广泛调查的原创论文,在所有计算领域具有原创观点,前提是来自逻辑、代数、几何、范畴论或其他领域的想法或结果逻辑和数学构成了这项工作的基础。该杂志欢迎基于使用特定数学结构(例如拓扑和有序理论结构)以及证明理论概念或结果的计算应用。
大类学科 | 小类学科 | 分区 | Top期刊 | 综述期刊 |
计算机科学 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 4区 | 是 | 是 |
大类学科 | 小类学科 | 分区 |
计算机科学 | COMPUTER SCIENCE, THEORY & METHODS 计算机:理论方法 | 4区 |
期刊名称 | 领域 | 中科院分区 | 影响因子 |
International Journal Of Wavelets Multiresolution And Information Processing | 计算机科学 | 4区 | 1.400 |
Archives Of Control Sciences | 计算机科学 | 4区 | 1.200 |
International Journal Of Unconventional Computing | 计算机科学 | 4区 | 1.700 |
Ieee Pervasive Computing | 计算机科学 | 4区 | 1.600 |
Rairo-theoretical Informatics And Applications | 计算机科学 | 4区 | 0.600 |
Ieee Consumer Electronics Magazine | 计算机科学 | 4区 | 4.500 |