مرکز منطقه ای اطلاع رساني علوم و فناوري - Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Title of article :

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

Author/Authors :

Parosh Aziz Abdulla، نويسنده , , K rlis er ns، نويسنده , , Bengt Jonsson، نويسنده , , Yih-Kuen Tsay، نويسنده ,

Issue Information :

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

Pages :

From page :

109

To page :

127

Journal title :

Information and Computation

Serial Year :

2000

Journal title :

Information and Computation

Record number :

261905

Link To Document :