✦ LIBER ✦

Permutative rewriting and unification

✍ Scribed by Thierry Boy de la Tour; Mnacho Echenim

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Permutation rewriting and algorithmic ve

✍ Ahmed Bouajjani; Anca Muscholl; Tayssir Touili 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 371 KB

Unification, Rewriting, and Narrowing on

✍ Annegret Habel; Detlef Plump 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 462 KB

Single Versus Simultaneous Equational Un

✍ Paliath Narendran; Friedrich Otto 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 290 KB

Synthesis of rewrite programs by higher-

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

Meta-variables as infinite lists in nomi

✍ Gabbay, M. J. 📂 Article 📅 2012 🏛 Oxford University Press 🌐 English ⚖ 986 KB

The unification problem for confluent ri

✍ Michio Oyamaguchi; Yoshikatsu Ohta 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 275 KB