✦ LIBER ✦

On the data type extension problem for algebraic specifications

✍ Scribed by Michio Oyamaguchi

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

On the extension problem for measures

✍ D. Landers; L. Rogge 📂 Article 📅 1974 🏛 Springer 🌐 English ⚖ 135 KB

On the representation type of one point

✍ J. A. de la Peña 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 429 KB

On the mapping problem for algebraic rea

✍ S. M. Webster 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 804 KB

On the End Extension Problem For Δ0-PA(S

✍ Henryk Kotlarski 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 376 KB

Procedure for solving the data-editing p

✍ Joanne Schaffer 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 752 KB