Mathematical Structures in Computer Science

Papers
(The H4-Index of Mathematical Structures in Computer Science is 5. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2020-04-01 to 2024-04-01.)
ArticleCitations
Three improvements to the top-down solver6
From Kruskal’s theorem to Friedman’s gap condition6
Syntax and models of Cartesian cubical type theory6
Quasi-Nelson algebras and fragments6
Languages of higher-dimensional automata5
Petri nets based on Lawvere theories5
String diagram rewrite theory III: Confluence with and without Frobenius5
Bisimulation as a logical relation5
0.026808977127075