مرکز منطقه ای اطلاع رساني علوم و فناوري - The Subtyping Problem for Second-Order Types Is Undecidable

Title of article :

The Subtyping Problem for Second-Order Types Is Undecidable

Author/Authors :

Jerzy Tiuryn، نويسنده , , Pawe Urzyczyn، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2002

Pages :

From page :

To page :

Journal title :

Information and Computation

Serial Year :

2002

Journal title :

Information and Computation

Record number :

262100

Link To Document :