✦ LIBER ✦

On Term-Graph Rewrite Strategies

✍ Scribed by Rachid Echahed

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transitive term graph rewriting

✍ R. Banach 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 553 KB

Unification, Rewriting, and Narrowing on

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

Bisimilarity in Term Graph Rewriting

✍ Zena M. Ariola; Jan Willem Klop; Detlef Plump 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 431 KB

Essentials of Term Graph Rewriting

✍ Detlef Plump 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 288 KB

Confluent rewriting of bisimilar term gr

✍ Zena M. Ariola; Jan Willem Klop; Detlef Plump 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 29 KB

Clean: a Programming Environment Based o

✍ M.J. Plasmeijer 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 254 KB