Giacomo Lenzi

Giacomo Lenzi

Università degli Studi di Salerno - Fisciano / Italy
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 1805140
University of Salerno
person_outline Giacomo Lenzi's MOST POPULAR ARTICLES
1-) A hierarchy theorem for the μ-calculusG LenziAutomata, Languages and Programming: 23rd International Colloquium, ICALP\'96 …, 1996921996
2-) The variable hierarchy of the μ-calculus is strictD Berwanger, E Gradel, G LenziTheory of Computing Systems 40, 437-466, 2007382007
3-) On modal μ-calculus with explicit interpolantsG D\'Agostino, G LenziJournal of applied logic 4 (3), 256-278, 2006292006
4-) On the μ-calculus over transitive and finite transitive framesG D’Agostino, G LenziTheoretical Computer Science 411 (50), 4273-4290, 2010272010
5-) The modal mu-calculus: a surveyG LenziTASK Quarterly. Scientific Bulletin of Academic Computer Centre in Gdansk 9 …, 2005272005