✦ LIBER ✦

SOS rule formats for idempotent terms and idempotent unary operators

✍ Scribed by Aceto, Luca; Ingolfsdottir, Anna; Goriac, Eugen-Ioan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

SOS rule formats for idempotent terms an

✍ Aceto, Luca; Ingolfsdottir, Anna; Goriac, Eugen-Ioan 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 347 KB

Rule formats for determinism and idempot

✍ Luca Aceto; Arnar Birgisson; Anna Ingolfsdottir; MohammadReza Mousavi; Michel A. 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 310 KB