𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Murg term rewrite systems

✍ Scribed by Sándor Vágvölgyi

Book ID
108154580
Publisher
Elsevier Science
Year
2008
Tongue
English
Weight
209 KB
Volume
108
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Timed Term Rewrite Systems
Timed Term Rewrite Systems
✍ Jérémie Blanc; Rachid Echahed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 373 KB
Term Rewrite Systems for Lattice Theory
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.

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