S programming W Venables, BD Ripley Springer Science & Business Media, 2000 | 328 | 2000 |
A hierarchy theorem for the μ-calculus G Lenzi Automata, Languages and Programming: 23rd International Colloquium, ICALP'96 …, 1996 | 93 | 1996 |
The variable hierarchy of the μ-calculus is strict D Berwanger, E Gradel, G Lenzi Theory of Computing Systems 40, 437-466, 2007 | 39 | 2007 |
On modal μ-calculus with explicit interpolants G D'Agostino, G Lenzi Journal of applied logic 4 (3), 256-278, 2006 | 28 | 2006 |
On the μ-calculus over transitive and finite transitive frames G D’Agostino, G Lenzi Theoretical Computer Science 411 (50), 4273-4290, 2010 | 27 | 2010 |
The modal mu-calculus: a survey G Lenzi TASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk 9 …, 2005 | 27 | 2005 |
An axiomatization of bisimulation quantifiers via the μ-calculus G D’Agostino, G Lenzi Theoretical Computer Science 338 (1-3), 64-95, 2005 | 24 | 2005 |
On the variable hierarchy of the modal μ-calculus D Berwanger, E Grädel, G Lenzi Computer Science Logic: 16th International Workshop, CSL 2002 11th Annual …, 2002 | 24 | 2002 |
Una proposta di teoria base dei Fondamenti della Matematica E De Giorgi, M Forti, G Lenzi Ennio De Giorgi, 758, 1994 | 22 | 1994 |
The Variable Hierarchy of the μ-Calculus Is Strict D Berwanger, G Lenzi STACS 2005: 22nd Annual Symposium on Theoretical Aspects of Computer Science …, 2005 | 21 | 2005 |
Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy D Janin, G Lenzi Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 347-356, 2001 | 21 | 2001 |
On the rlationship between monadic and weak monadic second order logic on arbitrary trees, with applications to the mu-calculus D Janin, G Lenzi Fundamenta Informaticae 61 (3-4), 247-265, 2004 | 19 | 2004 |
On the logical definability of topologically closed recognizable languages of infinite trees D Janin, G Lenzi Computing and Informatics 21, 185--203, 2002 | 14 | 2002 |
The mu-calculus and the hierarchy problem G Lenzi Scuola Normale Superiore, 1997 | 14 | 1997 |
Calcolo dei predicati e concetti metateorici in una teoria base dei Fondamenti della Matematica E De Giorgi, M Forti, G Lenzi, VM Tortorelli Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche …, 1995 | 14 | 1995 |
The spectrum problem for Abelian -groups and MV-algebras G Lenzi, A Di Nola Algebra universalis 81 (3), 39, 2020 | 13 | 2020 |
Algebraic geometry for MV-algebras LP Belluce, A Di Nola, G Lenzi The Journal of Symbolic Logic 79 (4), 1061-1091, 2014 | 13 | 2014 |
Introduzione delle variabili nel quadro delle teorie base dei Fondamenti della Matematica E De Giorgi, M Forti, G Lenzi Ennio De Giorgi, 783, 1994 | 12 | 1994 |
Riesz–McNaughton functions and Riesz MV-algebras of nonlinear functions A Di Nola, G Lenzi, G Vitale Fuzzy Sets and Systems 311, 1-14, 2017 | 11 | 2017 |
Łukasiewicz equivalent neural networks A Di Nola, G Lenzi, G Vitale Advances in Neural Networks: Computational Intelligence for ICT, 161-168, 2016 | 11 | 2016 |