✦ LIBER ✦

Essentials of Term Graph Rewriting

✍ Scribed by Detlef Plump

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Transitive term graph rewriting

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

Bisimilarity in Term Graph Rewriting

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

On Term-Graph Rewrite Strategies

✍ Rachid Echahed 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 281 KB

Confluent rewriting of bisimilar term gr

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

Some Properties of Non-Orthogonal Term G

✍ David Clark; Richard Kennaway 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 484 KB

Modeling Pointer Redirection as Cyclic T

✍ Dominique Duval; Rachid Echahed; Frédéric Prost 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 419 KB