𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the efficiency of categorical combinators as a rewriting system

✍ Scribed by R. D. Lins


Book ID
112210394
Publisher
John Wiley and Sons
Year
1987
Tongue
English
Weight
604 KB
Volume
17
Category
Article
ISSN
0038-0644

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A result on braids via the investigation
✍ Serge Burckel πŸ“‚ Article πŸ“… 2003 πŸ› Elsevier Science 🌐 English βš– 87 KB

The study of a rewriting system gives a very simple characterization of a canonical form of positive braids on three strands which had previously been defined with a well-ordering structure.