✦ LIBER ✦

A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events

✍ Scribed by D. Kozen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Identity problem for the algebra of regu

✍ L. P. Lisovik 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 178 KB

A Structure Theory in the Regular -Compl

✍ Saito, K. 📂 Article 📅 1980 🏛 Oxford University Press 🌐 English ⚖ 229 KB

An embedding theorem for partial algebra

✍ P. Burmeister 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 424 KB

The Centre of the Regular Monotone Compl

✍ Hamana, M. 📂 Article 📅 1982 🏛 Oxford University Press 🌐 English ⚖ 190 KB

Regular opens in constructive topology a

✍ Ciraulo, Francesco 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 307 KB

Refinement and Uniqueness Theorems for t

✍ Hughes, N. J. S. 📂 Article 📅 1955 🏛 Oxford University Press 🌐 English ⚖ 387 KB