✦ LIBER ✦

A simple transfer lemma for algebraic specifications

✍ Scribed by J.A. Bergstra; J.-J.Ch. Meyer

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Square Root Lemma for Banach (*)-Algeb

✍ Ford, J. W. M. 📂 Article 📅 1967 🏛 Oxford University Press 🌐 English ⚖ 60 KB

A Short Algebraic Proof of the Farkas Le

✍ Bartl, David 📂 Article 📅 2008 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 130 KB

A Tool for Testing Data Type Implementat

✍ Isabel Pita; Adrián Riesco 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 902 KB

SEAL A simple language for prototyping a

✍ K. Brink; R. Huijsman; J. van Katwijk 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 644 KB

Consistency test for simple specificatio

✍ A. N. Chebotarev 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 469 KB

A Simple Trace Formula for Algebraic Mod

✍ Dummigan, Neil 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 181 KB