✦ LIBER ✦

Deaccenting and Higher-Order Unification

✍ Scribed by Claire Gardent

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Higher Order Unification via Explicit Su

✍ Gilles Dowek; Thérèse Hardin; Claude Kirchner 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 481 KB

Managing Structural Information by Highe

✍ Dieter Hutter; Michael Kohlhase 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 269 KB

Synthesis of rewrite programs by higher-

✍ Masami Hagiya 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 853 KB

A higher-order unification algorithm for

✍ Qingping Tan 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 626 KB

Higher-dimensional unification

✍ Peter G.O. Freund 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 504 KB

Higher-dimensional unification and fifth

✍ Y. M. Cho; D. H. Park 📂 Article 📅 1990 🏛 Springer-Verlag,Italian Physical Society ⚖ 721 KB