![](/img/cover-not-exists.png)
Algorithmic Analysis of Programs with Well Quasi-ordered Domains
Parosh Aziz Abdulla, Kārlis Čerāns, Bengt Jonsson, Yih-Kuen TsayVolume:
160
Year:
2000
Language:
english
Pages:
19
DOI:
10.1006/inco.1999.2843
File:
PDF, 180 KB
english, 2000