✦ LIBER ✦

Structured calculational proof

✍ Scribed by Ralph Back; Jim Grundy; Joakim von Wright

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heuristics for a calculational proof

✍ Edsger W. Dijkstra 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Proof compressions with circuit-structur

✍ L. Gordeev; E. H. Haeusler; V. G. da Costa 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 262 KB

On calculational proofs

✍ Vladimir Lifschitz 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 96 KB

Structured derivations: a unified proof

✍ Ralph-Johan Back 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 274 KB

Simplified GPT calculational procedure

✍ A. Gandini; G. Palmiotti 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 120 KB

Proof loading and structural reliability

✍ Tzyy Shan Lin; Andrzej S. Nowak 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 454 KB