Luca Alberucci

List of publications from the DBLP Bibliography Server - FAQ

2005

2 EE Luca Alberucci, Gerhard Jäger: About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133(1-3): 73-99 (2005)

2001

1 EE Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

2005
2	EE	Luca Alberucci, Gerhard Jäger: About cut elimination for logics of common knowledge. Ann. Pure Appl. Logic 133(1-3): 73-99 (2005)
2001
1	EE	Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

Coauthor Index