✦ LIBER ✦

Local variable scoping and Kleene algebra with tests

✍ Scribed by Kamal Aboul-Hosn; Dexter Kozen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A coalgebraic approach to Kleene algebra

✍ Hubie Chen; Riccardo Pucella 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 291 KB

A Coalgebraic Approach to Kleene Algebra

✍ Hubie Chen; Riccardo Pucella 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 146 KB

[Lecture Notes in Computer Science] Rela

✍ Berghammer, Rudolf; Möller, Bernhard; Struth, Georg 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 245 KB

Hidden variable theories without non-loc

✍ S.M. Roy; Virendra Singh 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 377 KB

Local Realistic Models Tested by the EPR

✍ Alejandro Hnilo; Alejandro Peuriot; Guillermo Santiago 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 685 KB

On local algorithms with variable neighb

✍ O.A. Shcherbina 📂 Article 📅 1986 🏛 Elsevier Science ⚖ 349 KB