✦ LIBER ✦

The correctness of the Schorr-Waite list marking algorithm

✍ Scribed by R. W. Topor

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Schorr-Waite marking algorithm revis

✍ Nachum Dershowitz 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 373 KB

The Schorr-Waite graph marking algorithm

✍ David Gries 📂 Article 📅 1979 🏛 Springer-Verlag 🌐 English ⚖ 463 KB

Two tagless variations on the Deutsch-Sc

✍ Mark C. Hamburg 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 409 KB

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 478 KB

The Mystery of Waiting Lists and Waiting

📂 Article 📅 1981 🏛 The Lancet 🌐 English ⚖ 171 KB

On the Correctness of Goscinski′s Algori

✍ R. Baldoni; B. Ciciani; G. Cioffi 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 320 KB