✦ LIBER ✦

Nonmonotonic inference rules for multiple inheritance with exceptions

✍ Scribed by Sandewall, E.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Type inference for record concatenation

✍ Mitchell Wand 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 778 KB

An Inheritance Criterion for the Admissi

✍ A. N. Rutskii; B. R. Fedorishin 📂 Article 📅 2002 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 205 KB

Existence and multiplicity for quasiline

✍ Siegfried Carl; Seppo Heikkilä 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 656 KB

Multiple periodic solutions for a semili

✍ Nicola Basile; Michele Mininni 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 724 KB

Incremental reasoning with lazy behavior

✍ Johan Dovland; Einar Broch Johnsen; Olaf Owe; Martin Steffen 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Static Type Inference for a First-Order

✍ REBECCA WALPOLE DJANG; MARGARET M. BURNETT; ROGER D. CHEN 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 927 KB