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 :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=262010
