✦ LIBER ✦

Some Properties of Non-Orthogonal Term Graph Rewriting

✍ Scribed by David Clark; Richard Kennaway

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Semagraph: the Theory and Practice of Te

✍ Ronan Sleep 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 332 KB

Some results on the confluence property

✍ Zhang Xubo 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 276 KB

Undecidable properties of flat term rewr

✍ Guillem Godoy; Hugo Hernández 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 234 KB

Some properties of graph centroids

✍ W. Piotrowski; M. M. Sysło 📂 Article 📅 1991 🏛 Springer US 🌐 English ⚖ 646 KB