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.

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

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