Stefano Sorgi

According to our database, Stefano Sorgi authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

A Characterization of Weakly Church-Rosser Abstract Reduction Systems That Are Not Church-Rosser.

Benedetto Intrigila, Ivano Salvo, Stefano Sorgi

Inf. Comput., 2001