Giacomo Lenzi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1996–2013
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | IFSA | Fuzzy Logic as a geometry. | Lawrence Peter Belluce, Antonio Di Nola, Giacomo Lenzi |
| 2012 | ICAART | On a Priced Resource-bounded Alternating μ-Calculus. | Dario Della Monica, Giacomo Lenzi |
| 2005 | STACS | The Variable Hierarchy of the -Calculus Is Strict. | Dietmar Berwanger, Giacomo Lenzi |
| 2002 | CSL | On the Variable Hierarchy of the Modal µ-Calculus. | Dietmar Berwanger, Erich Grdel, Giacomo Lenzi |
| 2001 | LICS | The Hierarchy inside Closed Monadic Sigma | Andr Arnold, Giacomo Lenzi, Jerzy Marcinkowski |
| 2001 | LICS | Relating Levels of the Mu-Calculus Hierarchy and Levels of the Monadic Hierarchy. | David Janin, Giacomo Lenzi |
| 2001 | STACS | A New Logical Characterization of Bchi Automata. | Giacomo Lenzi |
| 1999 | MFCS | On the Structure of the Monadic Logic of the Binary Tree. | David Janin, Giacomo Lenzi |
| 1996 | ICALP | A Hierarchy Theorem for the µ-Calculus. | Giacomo Lenzi |