✦ LIBER ✦

Structuring Metatheory on Inductive Definitions

✍ Scribed by David Basin; Seán Matthews

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Inductive definitions over finite struct

✍ Daniel Leivant 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 732 KB

On Principles of Inductive Definition

✍ Bernhard Banaschewski 📂 Article 📅 1960 🏛 John Wiley and Sons 🌐 English ⚖ 639 KB

On systems of definitions, induction and

✍ Lars Hallnäs 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 895 KB

Foundation of logic programming based on

✍ Masami Hagiya; Takafumi Sakurai 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 768 KB

On Wright's inductive definition of cohe

✍ Jeffrey Ketland 📂 Article 📅 2003 🏛 Oxford University Press 🌐 English ⚖ 94 KB

Definition of ‘charge on an atom’ and na

✍ DEAN, SUSAN M.; RICHARDS, W. G. 📂 Article 📅 1975 🏛 Nature Publishing Group 🌐 English ⚖ 296 KB