✦ LIBER ✦

A Kleene Algebra of Tagged System Actors

✍ Scribed by Dey, S.; Sarkar, D.; Basu, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Completeness Theorem for Kleene Algebr

✍ D. Kozen 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 734 KB

On certain theorems of analysis in the f

✍ M. A. Khachatryan 📂 Article 📅 1977 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 266 KB

The Strong Completeness of a System for

✍ John T. Kearns 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 1 views

Covariance algebra of a partial dynamica

✍ Bartosz Kosma Kwaśniewski 📂 Article 📅 2005 🏛 SP Versita 🌐 English ⚖ 595 KB

The enveloping algebra of a covariant sy

✍ John Ernest 📂 Article 📅 1970 🏛 Springer 🌐 English ⚖ 949 KB

The Application of a Computer Algebra Sy

✍ Robert L. Mayes 📂 Article 📅 1995 🏛 School Science and Mathematics Association 🌐 English ⚖ 559 KB