Luca Alberucci

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

2 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 Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

	2005
2		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		Luca Alberucci: Strictness of the Modal µ-Calculus Hierarchy. Automata, Logics, and Infinite Games 2001: 185-201

Coauthor Index