.:. Browse > By author > Alberucci .:.

2 documents ordered by : Date Title first author name document type Submit date

The Modal μ-Calculus Hierarchy on Restricted Classes of Transition Systems. Alberucci L., Facchini A. The Journal of Symbolic Logic 74, 4 (2009) 1367-1400 [hal-00396431 - version 1]

On modal mu-calculus and Gödel-Löb logic Alberucci L., Facchini A. Studia Logica 91, 2 (2009) 145-169 [hal-00353743 - version 1]