✦ LIBER ✦

Infinitary Rewriting and Cyclic Graphs

✍ Scribed by Richard Kennaway

Book ID: 104445330
Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 657 KB
Volume: 2
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80192-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Infinitary rewriting: meta-theory and co

Infinitary rewriting: meta-theory and convergence

✍ Stefan Kahrs 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 342 KB

Highlights in infinitary rewriting and l

Highlights in infinitary rewriting and lambda calculus

✍ Endrullis, Jörg; Hendriks, Dimitri; Klop, Jan Willem 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 982 KB

Infinitary rewriting: closure operators,

Infinitary rewriting: closure operators, equivalences and models

✍ Stefan Kahrs 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 411 KB

Modeling Pointer Redirection as Cyclic T

Modeling Pointer Redirection as Cyclic Term-graph Rewriting

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

Efficient Graph Rewriting and Its Implem

Efficient Graph Rewriting and Its Implementation

✍ Heiko Dörr (eds.) 📂 Library 📅 1995 🏛 Springer 🌐 English ⚖ 2 MB

This book presents two major research results on the fast implementation of graph rewriting systems (GRS). First, it explores the class of so-called UBS-GRS, where the complexity of a rewriting step is linear instead of NP, showing for example that visual programming is possible by UBS graph rewriti

Unification, Rewriting, and Narrowing on

Unification, Rewriting, and Narrowing on Term Graphs

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