✦ LIBER ✦

A complexity tradeoff in ranking-function termination proofs

✍ Scribed by Amir M. Ben-Amram

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Summing up function values in parallel:

✍ Andrej Broido 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 447 KB

Optimizing function distribution in a te

✍ HF Tibbals; Peter Curran 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 668 KB

New proof of the uniqueness theorem for

✍ V. P. Orevkov 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 494 KB

Functionalized polyglycidol-CuCl-complex

✍ Raul Salazar; Lioudmila Fomina; Serguei Fomine 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 106 KB

Guaranteed result in a differential game

✍ I.S. Rappoport; A.A. Chikrii 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Minimization of the complexity function

✍ A. Ya. Dikovskii; L. S. Modina 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 586 KB