Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:D.Janin ∅ D.Berwanger E.Grädel A.Arnold J.Marcinkowski
Talks about:hierarchi (5) calculus (3) monad (2) level (2) variabl (1) theorem (1) infinit (1) collaps (1) binari (1) relat (1)
Person: Giacomo Lenzi
DBLP: Lenzi:Giacomo
Contributed to:
2002
2001
1996Wrote 4 papers:
- CSL-2002-BerwangerGL #calculus #on the #μ-calculus
- On the Variable Hierarchy of the Modal μ-Calculus (DB, EG, GL), pp. 352–366.
- LICS-2001-ArnoldLM #infinity #monad
- The Hierarchy inside Closed Monadic Σ₁ Collapses on the Infinite Binary Tree (AA, GL, JM), pp. 157–166.
- LICS-2001-JaninL #calculus #monad #μ-calculus
- Relating Levels of the μ-Calculus Hierarchy and Levels of the Monadic Hierarchy (DJ, GL), pp. 347–356.
- ICALP-1996-Lenzi #calculus #theorem #μ-calculus
- A Hierarchy Theorem for the μ-Calculus (GL), pp. 87–97.