✦ LIBER ✦

Transitive term graph rewriting

✍ Scribed by R. Banach

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

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