✦ LIBER ✦

Comparing data type specifications via their normal forms

✍ Scribed by J. L. Remy; P. A. S. Veloso

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Methodical specification of abstract dat

✍ P. A. S. Veloso 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 785 KB

May schottky type defects in metals be s

✍ Gustavo A. Monti; Carlos A. Martin 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 357 KB

On comparative probabilities for normal

✍ Banerjee, S. K. ;Zodrow, E. L. 📂 Article 📅 1982 🏛 Springer 🌐 English ⚖ 604 KB

Abstract data types: their specification

✍ K Miller 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 108 KB