✦ LIBER ✦

A Language for Type-Free Algebra

✍ Scribed by William S. Hatcher

Publisher: John Wiley and Sons
Year: 1978
Tongue: English
Weight: 854 KB
Volume: 24
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19780242502

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Categorical languages for algebraic stru

Categorical languages for algebraic structures

✍ W. S. Hatcher; A. Shafaat 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 521 KB

Consistency in Categorical Languages for

Consistency in Categorical Languages for Algebras

✍ Ahmad Shafaat 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 164 KB

A spoken language translator for restric

A spoken language translator for restricted-domain context-free languages

✍ David B. Roe; Pedro J. Moreno; Richard W. Sproat; Fernando C.N. Pereira; Michael 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 603 KB

A Basis for Free Assosymmetric Algebras

✍ Irvin Roy Hentzel; David Pokrass Jacobs; Luiz Antonio Peresi 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Assosymmetric algebras are nonassociative algebras, where xy z y x yz remains invariant under each permutation of x, y, z. In general, the free nonassociative algebra in a variety is difficult to describe. We show this is not the case for free assosymmetric algebras having characteristic /2, 3. We e

Applications of a symbolic algebra manip

Applications of a symbolic algebra manipulation language for composite structures analysis

✍ Dick J. Wilkins Jr. 📂 Article 📅 1973 🏛 Elsevier Science 🌐 English ⚖ 624 KB

A new type-checker for a functional lang

A new type-checker for a functional language

✍ Jon Fairbairn 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 936 KB