Gian Carlo Milanese

Gian Carlo Milanese
Università degli Studi di Milano-Bicocca | UNIMIB · Department of Informatics, Systems and Communication (DISCo)

About

2
Publications
42
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
1
Citation
Citations since 2016
2 Research Items
1 Citation
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0
20162017201820192020202120220.00.20.40.60.81.0

Publications

Publications (2)
Chapter
The closure ordinal of a \(\mu \)-calculus formula \(\varphi (x)\) is the least ordinal \(\alpha \), if it exists, such that, in any model, the least fixed point of \(\varphi (x)\) can be computed in at most \(\alpha \) many steps, by iteration of the meaning function associated with \(\varphi (x)\), starting from the empty set. In this paper we fo...

Network

Cited By