Mathematical Structures in Computer Science
About
The 1.0k papers published in Mathematical Structures in Computer Science in the last decades have received a total of 11.8k indexed citations.
Papers published in Mathematical Structures in Computer Science usually cover Artificial Intelligence (784 papers), Computational Theory and Mathematics (651 papers) and Mathematical Physics (155 papers) specifically the topics of Logic, programming, and type systems (619 papers), Logic, Reasoning, and Knowledge (422 papers) and Formal Methods in Verification (293 papers). The most active scholars publishing in Mathematical Structures in Computer Science are Hartmut Ehrig, Jiřı́ Velebil, Jiřı́ Adámek, J.R.B. Cockett and Annegret Habel
In The Last Decade
Explore journals with similar magnitude of impact
Top journals impacted by papers in Global Health Science and Practice Top countries impacted by papers in Communications in Contemporary Mathematics Top fields papers in Sexual & Relationship Therapy are covering Top countries impacted by papers in HERD Health Environments Research & Design Journal Top countries impacted by papers in Journal of Public Economic Theory Top journals impacted by papers in National Institute Economic Review Top fields papers in Transportation Journal are covering Top countries impacted by papers in Anesthesiology Clinics