Stefano Sorgi

List of publications from the DBLP Bibliography Server - FAQ

2001

1 EE Benedetto Intrigila, Ivano Salvo, Stefano Sorgi: A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171(2): 137-155 (2001)

2001
1	EE	Benedetto Intrigila, Ivano Salvo, Stefano Sorgi: A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser. Inf. Comput. 171(2): 137-155 (2001)

Coauthor Index