✦ LIBER ✦

Program derivation in type theory: A partitioning problem

✍ Scribed by Kent Petersson; Jan M. Smith

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Analogical program derivation based on t

✍ Jianguo Lu; Jiafu Xu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 832 KB

Partition Problems in Additive Number Th

✍ Béla Bollobás; Guoping Jin 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 866 KB

A COMBINATORIAL PROBLEM IN MUSIC THEORY-

✍ Alexander R. Bazelow; Frank Brickle 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 752 KB

A dynamic programming approach to the co

✍ D. Yun Yeh 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 324 KB

Coalgebras in functional programming and

✍ Venanzio Capretta 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 374 KB

Mixed Type Duality in Multiobjective Pro

✍ Zengkun Xu 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 162 KB