✦ LIBER ✦

A Coalgebraic Approach to Kleene Algebra with Tests

✍ Scribed by Hubie Chen; Riccardo Pucella

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

Local variable scoping and Kleene algebr

✍ Kamal Aboul-Hosn; Dexter Kozen 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 204 KB

Generalized dual coalgebras of algebras,

✍ Richard E. Block; Pierre Leroux 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 373 KB

Lie Algebras with a Coalgebra Splitting

✍ Rolf Farnsteiner 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 355 KB

A coalgebraic approach to quasigroup per

✍ Jonathan D. H. Smith 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 219 KB

A coalgebraic approach to non-determinis

✍ I.P. Cabrera; P. Cordero; G. Gutiérrez; J. Martínez; M. Ojeda-Aciego 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 433 KB