𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Process Rewrite Systems

✍ Scribed by Richard Mayr


Book ID
112252461
Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
270 KB
Volume
156
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Bi-rewrite Systems
✍ Jordi Levy; Jaume Agustı́ 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 945 KB

In this article we propose an extension of term rewriting techniques to automate the deduction in monotone pre-order theories. To prove an inclusion a ⊆ b from a given set I of them, we generate from I, using a completion procedure, a bi-rewrite system is allowed to be a subset of the corresponding

Murg term rewrite systems
✍ Sándor Vágvölgyi 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 209 KB
Timed Term Rewrite Systems
✍ Jérémie Blanc; Rachid Echahed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 373 KB