✦ LIBER ✦

Algebras of modal operators and partial correctness

✍ Scribed by Bernhard Möller; Georg Struth

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General correctness: A unification of pa

✍ Dean Jacobs; David Gries 📂 Article 📅 1985 🏛 Springer-Verlag 🌐 English ⚖ 903 KB

Commutative rings of partial differentia

✍ O. A. Chalykh; A. P. Veselov 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 699 KB

Correction to “Strong Reducibilities of

✍ Andrzej Orlicki 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 62 KB

Correctness of dataflow and systolic alg

✍ K. Meinke; L.J. Steggles 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 299 KB

Algebras of difference and integral oper

✍ V. G. Kurbatov 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 220 KB

Sheaves of implicit operations in weak v

✍ Grzegorz Jarzembski 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 908 KB