✦ LIBER ✦

Proof of algorithms by general snapshots

✍ Scribed by Peter Naur

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Generalized proof of modified Booth's al

✍ Pradip K. Srimani 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A short proof of an algorithm by Boehm

✍ Georg Kirrmann 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 146 KB

Generating Snapshots of a Component Sett

✍ Sotiris Moschoyiannis 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 267 KB

General proof of Carruthers theorem

✍ Y.S. Jin 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 148 KB

An algorithmic proof of a generalization

✍ J.L Lewandowski; C.L Liu; J.W.S Liu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 340 KB

A Generalization of Omura's Decoding Alg

✍ Axvig, Nathan 📂 Article 📅 2014 🏛 IEEE 🌐 English ⚖ 956 KB