| A calculus of circular proofs and its categorical semantics L Santocanale International Conference on Foundations of Software Science and Computation …, 2002 | 121 | 2002 |
| Cuts for circular proofs: semantics and cut-elimination J Fortier, L Santocanale Computer Science Logic 2013 (CSL 2013), 2013 | 97 | 2013 |
| Free μ-lattices L Santocanale Journal of Pure and Applied Algebra 168 (2-3), 227-264, 2002 | 47 | 2002 |
| μ-bicomplete categories and parity games L Santocanale RAIRO-Theoretical Informatics and Applications 36 (2), 195-227, 2002 | 43 | 2002 |
| Completeness for flat modal fixpoint logics L Santocanale, Y Venema Annals of Pure and Applied Logic 162 (1), 55-82, 2010 | 38 | 2010 |
| Dual characterizations for finite lattices via correspondence theory for monotone modal logic S Frittella, A Palmigiano, L Santocanale Journal of Logic and Computation 27 (3), 639-678, 2017 | 36 | 2017 |
| Algebraic and model theoretic techniques for fusion decidability in modal logics S Ghilardi, L Santocanale International Conference on Logic for Programming Artificial Intelligence …, 2003 | 34 | 2003 |
| Completions of μ-algebras L Santocanale Annals of Pure and Applied Logic 154 (1), 27-50, 2008 | 33 | 2008 |
| Uniform Interpolation for Monotone Modal Logic. L Santocanale, Y Venema Advances in Modal Logic 8, 350-370, 2010 | 31 | 2010 |
| Ambiguous classes in μ-calculi hierarchies L Santocanale, A Arnold Theoretical Computer Science 333 (1-2), 265-296, 2005 | 31 | 2005 |
| The alternation hierarchy for the theory of µ-lattices L Santocanale Theory and Applications of Categories 9 (9), 166-197, 2002 | 17 | 2002 |
| On the join dependency relation in multinomial lattices L Santocanale Order 24 (3), 155-179, 2007 | 16 | 2007 |
| Undirected graphs of entanglement 2 W Belkhir, L Santocanale FSTTCS 2007: Foundations of Software Technology and Theoretical Computer …, 2007 | 16 | 2007 |
| On the equational definition of the least prefixed point L Santocanale Theoretical Computer Science 295 (1-3), 341-370, 2003 | 16 | 2003 |
| The involutive quantaloid of completely distributive lattices L Santocanale International Conference on Relational and Algebraic Methods in Computer …, 2020 | 15 | 2020 |
| Sublattices of associahedra and permutohedra L Santocanale, F Wehrung Advances in Applied Mathematics 51 (3), 419-445, 2013 | 14 | 2013 |
| Sur les [mu]-treillis libres L Santocanale Université du Québec à Montréal, 2000 | 13 | 2000 |
| The continuous weak order L Santocanale, MJ Gouveia J. Pure Appl. Algebra 225, 106472, 2021 | 12* | 2021 |
| Generalizations of the permutohedron L Santocanale, F Wehrung Lattice Theory: Special Topics and Applications: Volume 2, 287-397, 2016 | 11 | 2016 |
| Fixed-point elimination in the intuitionistic propositional calculus S Ghilardi, MJ Gouveia, L Santocanale International Conference on Foundations of Software Science and Computation …, 2016 | 11 | 2016 |
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证
silvio ghilardiUniversità degli Studi di Milano在 unimi.it 的电子邮件经过验证