英文簡介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期刊介紹

《Mathematical Structures In Computer Science》自1991出版以來，是一本計算機科學優秀雜志。致力于發表原創科學研究結果，并為計算機科學各個領域的原創研究提供一個展示平臺，以促進計算機科學領域的的進步。該刊鼓勵先進的、清晰的闡述，從廣泛的視角提供當前感興趣的研究主題的新見解，或審查多年來某個重要領域的所有重要發展。該期刊特色在于及時報道計算機科學領域的最新進展和新發現新突破等。該刊近一年未被列入預警期刊名單，目前已被權威數據庫SCIE收錄，得到了廣泛的認可。

該期刊投稿重要關注點：

• 預計審稿時間： 12周，或約稿
• 計算機科學
• COMPUTER SCIENCE, THEORY & METHODS
• SCIE
• 中科院4區
• 非預警