Title of article
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions
Author/Authors
Philippe de Groote، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
24
From page
441
To page
464
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262095
Link To Document