✦ LIBER ✦

Partial evaluation and ω-completeness of algebraic specifications

✍ Scribed by Jan Heering

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

(Ω, Ξ)-Logic: On the Algebraic Extension

✍ Rolf Hennicker; Alexander Kurz 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 204 KB

OnLα,ωcomplete extensions of complete th

✍ Matatyahu Rubin 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 193 KB

Representation of completely positive ma

✍ G. O. S. Ekhaguere 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 455 KB

Approximate completeness in algebras of

✍ Yu. V. Golunkov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 563 KB

An embedding theorem for partial algebra

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

Compatibility of partial or complete con

✍ Barry C. Arnold; Enrique Castillo; José Marı́a Sarabia 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 324 KB