✦ LIBER ✦

Algorithmic Analysis of Programs with Well Quasi-ordered Domains

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Scott's thesis for domains of informa

✍ Claudia Böttinger 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 860 KB

Well Quasi Orders in Subclasses of Bound

✍ Fellows, Michael R.; Hermelin, Danny; Rosamond, Frances A. 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 605 KB

Analysis of second-order sliding-mode al

✍ Boiko, I.; Fridman, L.; Castellanos, M.I. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 200 KB

An ideal column algorithm for integer pr

✍ R. Kipp Martin; Dennis J. Sweeney 📂 Article 📅 1983 🏛 Springer-Verlag 🌐 English ⚖ 702 KB

Boundary value problems for complete qua

✍ F. E. Lomovtsev 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 303 KB

The Flow Analysis of Viscoelastic Fluid

✍ Qinghe Wang; Dengke Tong 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 306 KB