𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A complete rewriting system for a monoid of tree transformation classes

✍ Scribed by Z. Fülöp; S. Vágvölgyi

Book ID
113383959
Publisher
Elsevier Science
Year
1990
Tongue
English
Weight
952 KB
Volume
86
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Class of Rewriting Rules and Reverse T
A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation
✍ Kiyoshi Akama; Ekawit Nantajeewarawat; Hidekatsu Koike 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 297 KB

In the rule-based equivalent transformation (RBET) paradigm, where computation is based on meaning-preserving transformation of declarative descriptions, a set of rewriting rules is regarded as a program. The syntax for a large class of rewriting rules is determined. The incorporation of meta-variab

A Normal Form for a Class of Monoids Inc
A Normal Form for a Class of Monoids Including the Singular Braid Monoids
✍ Ruth Corran 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 188 KB

The first part of this paper investigates a class of homogeneously presented monoids. Constructions which enable division and multiplication to be computed are described. The word problem and the division problem are solved, and a unique normal form is given for monoids in this class. The second par