✦ LIBER ✦

On relative completeness of Hoare logics

✍ Scribed by Michal Grabowski

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some questions about expressiveness and

✍ Mario Rodriguez Artalejo 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 996 KB

Expressiveness and the completeness of H

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 984 KB

Completeness of hoare-calculi revisited

✍ Bjørn Kirkerud 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 776 KB

Two theorems about the completeness of H

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 986 KB

On structural completeness of Łukasiewic

✍ Marek Tokarz 📂 Article 📅 1972 🏛 Springer Netherlands 🌐 English ⚖ 258 KB

On structural completeness of many-value

✍ Piotr Wojtylak 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 424 KB