Title of article
Reasoning about Termination of Pure Prolog Programs
Author/Authors
Apt K. R.، نويسنده , , Pedreschi D.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1993
Pages
49
From page
109
To page
157
Journal title
Information and Computation
Serial Year
1993
Journal title
Information and Computation
Record number
261340
Link To Document