Mathematical Structures in Computer Science

1.0k papers and 11.8k indexed citations i.

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