Facchini, Alessandro

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 2.

Alberucci, Luca; Facchini, Alessandro (2009). On Modal mu-Calculus and Gödel-Löb Logic. Studia logica, 91(2), pp. 145-169. Dordrecht: Springer Netherlands 10.1007/s11225-009-9170-9

Alberucci, Luca; Facchini, Alessandro (2009). The modal mu-calculus hierarchy over restricted classes of transition systems. The journal of symbolic logic, 74(4), pp. 1367-1400. Champaign, Ill.: Cambridge University Press 10.2178/jsl/1254748696

This list was generated on Sat Dec 21 19:09:05 2024 CET.
Provide Feedback