Algorithmic Analysis of Programs with Well Quasi-Ordered Domains

Please use this identifier to cite or link to this item: http://ntur.lib.ntu.edu.tw/handle/246246/85010

Title:	Algorithmic Analysis of Programs with Well Quasi-Ordered Domains
Authors:	Abdulla, P. A.;Cerans, K.;Jonsson, B.;Tsay, Y.K.
Date:	2000
Issue Date:	2008-10-22 15:48:20 (UTC+8)
Relation:	Information and Computation 160 (2): 109-127
Appears in Collections:	[資訊管理學系] 期刊論文

Files in This Item:

File	Description	Size	Format
2.pdf		180Kb	Adobe PDF	393	View/Open