✦ LIBER ✦

Timed Term Rewrite Systems

✍ Scribed by Jérémie Blanc; Rachid Echahed

Book ID: 108498248
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 373 KB
Volume: 64
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80348-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Murg term rewrite systems

✍ Sándor Vágvölgyi 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Term Rewrite Systems for Lattice Theory

✍ Ralph Freese; J. Ježek; J.B. Nation 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 367 KB

It is shown that, even though there is a very well-behaved, natural normal form for lattice theory, there is no finite, convergent \(A C\) term rewrite system for the equational theory of all lattices.

Characterizing Confluence by Rewrite Clo

Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems

✍ Guillem Godoy; Ashish Tiwari; Rakesh Verma 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 252 KB

Decidability of the confluence of finite

Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems

✍ Max Dauchet; Thierry Heuillard; Pierre Lescanne; Sophie Tison 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 739 KB

Fuzzy term-rewriting system

✍ Churn Jung Liau; Bertrand I-peng Lin 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 615 KB

Undecidable properties of flat term rewr

Undecidable properties of flat term rewrite systems

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