Title of article
A Characterization of Weakly Church–Rosser Abstract Reduction Systems That Are Not Church–Rosser
Author/Authors
Benedetto Intrigila، نويسنده , , Ivano Salvo، نويسنده , , Stefano Sorgi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
19
From page
137
To page
155
Journal title
Information and Computation
Serial Year
2001
Journal title
Information and Computation
Record number
262010
Link To Document