Title of article
The Undecidability of Second Order Multiplicative Linear Logic
Author/Authors
Yves Lafont، نويسنده , , Andre Scedrov، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
6
From page
46
To page
51
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261631
Link To Document