Nicholas Ruozzi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

2 Dexter Kozen, Nicholas Ruozzi: Applications of Metric Coinduction Logical Methods in Computer Science 5(3): (2009)

2007

1 Dexter Kozen, Nicholas Ruozzi: Applications of Metric Coinduction. CALCO 2007: 327-341

	2009
2		Dexter Kozen, Nicholas Ruozzi: Applications of Metric Coinduction Logical Methods in Computer Science 5(3): (2009)
	2007
1		Dexter Kozen, Nicholas Ruozzi: Applications of Metric Coinduction. CALCO 2007: 327-341

Coauthor Index