𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

✍ Scribed by Parosh Aziz Abdulla; Kārlis Čerāns; Bengt Jonsson; Yih-Kuen Tsay


Book ID
112252477
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
180 KB
Volume
160
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES