Mathematical Structures in Computer Science is an international journal dedicated to the publication of high-quality research papers on the use of mathematical methods and structures in computer science. The journal covers a wide range of topics, including algebra, logic, set theory, topology, category theory, and graph theory, as applied to areas such as algorithms, data structures, programming languages, formal methods, and theoretical computer science. The journal aims to foster interdisciplinary research and collaboration between mathematicians and computer scientists.
⚡ Speed vs Prestige
How does this journal balance review speed with impact level?
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in VerificationAdvanced Algebra and LogicComputability, Logic, AI Algorithms