✦ LIBER ✦

On the Complexity of Reasoning in Kleene Algebra

✍ Scribed by Dexter Kozen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On fuzzinesstic measures of entropy on K

✍ I.Z. Batyrshin 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 598 KB

On visualization scaling, subeigenvector

✍ Sergeı˘ Sergeev; Hans Schneider; Peter Butkovič 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 203 KB

The influence of complexity and reasonin

✍ Li Hong; Zheng Chijun; Gao Xuemei; Gao Shan; Lin Chongde 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 185 KB

A Completeness Theorem for Kleene Algebr

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

On the complexity of deciding typability

✍ Stijn Vansummeren 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 177 KB

The complexity of group algebra computat

✍ M.D. Atkinson 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 624 KB