✦ LIBER ✦

Bisimilarity in Term Graph Rewriting

✍ Scribed by Zena M. Ariola; Jan Willem Klop; Detlef Plump

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Confluent rewriting of bisimilar term gr

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

Transitive term graph rewriting

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

Essentials of Term Graph Rewriting

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

On Term-Graph Rewrite Strategies

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

Modeling Pointer Redirection as Cyclic T

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

Some Properties of Non-Orthogonal Term G

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