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.

《計(jì)算機(jī)科學(xué)中的數(shù)學(xué)結(jié)構(gòu)》是一本理論計(jì)算機(jī)科學(xué)期刊，側(cè)重于將數(shù)學(xué)結(jié)構(gòu)和數(shù)理邏輯的思想應(yīng)用于計(jì)算機(jī)科學(xué)。該期刊旨在彌合理論貢獻(xiàn)與軟件設(shè)計(jì)之間的差距，發(fā)表高標(biāo)準(zhǔn)的原創(chuàng)論文和具有原創(chuàng)觀點(diǎn)的廣泛調(diào)查，涵蓋計(jì)算的所有領(lǐng)域，前提是邏輯、代數(shù)、幾何、范疇論或其他邏輯和數(shù)學(xué)領(lǐng)域的思想或結(jié)果構(gòu)成了工作的基礎(chǔ)。該期刊歡迎基于特定數(shù)學(xué)結(jié)構(gòu)（例如拓?fù)浜托蛘摻Y(jié)構(gòu)）的使用以及基于證明論概念或結(jié)果的計(jì)算應(yīng)用。

Mathematical Structures In Computer Science創(chuàng)刊于1991年，由Cambridge University Press出版商出版，收稿方向涵蓋工程技術(shù) - 計(jì)算機(jī)：理論方法全領(lǐng)域，此期刊水平偏中等偏靠后，在所屬細(xì)分領(lǐng)域中專業(yè)影響力一般，過審相對(duì)較易，如果您文章質(zhì)量佳，選擇此期刊，發(fā)表機(jī)率較高。平均審稿速度 12周，或約稿 ，影響因子指數(shù)0.4，該期刊近期沒有被列入國(guó)際期刊預(yù)警名單，廣大學(xué)者值得一試。