✦ 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
DOI: 10.1002/spe.4380170807

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some results on the confluence property

Some results on the confluence property of combined Term Rewriting Systems

✍ Zhang Xubo 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 276 KB

On the reachability of a version of grap

On the reachability of a version of graph-rewriting system

✍ Kohji Tomita; Haruhisa Kurokawa 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 207 KB

A result on braids via the investigation

A result on braids via the investigation of a rewriting system

✍ 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.

Enhancement of the operating efficiency

Enhancement of the operating efficiency of a combined air cleaner/dehumidifier system

✍ Yu. Ya. Ignatov; V. É. Mel'nikov 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 386 KB

On the efficiency of a chinese-type work

On the efficiency of a chinese-type work-point system

✍ Jacques Crémer 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 582 KB

On interrelationships of the sciences an

On interrelationships of the sciences and technology as expressed by a categorized list of journals and modified by a classification system

✍ Moore, J. R. 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 736 KB