S programming W Venables, BD Ripley
Springer Science & Business Media, 2000
329 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
20 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