✦ LIBER ✦

Partial completion of equational theories

✍ Scribed by Yongqiang Sun; Kai Lin; Chaojun Lu

Publisher: Springer
Year: 2000
Tongue: English
Weight: 447 KB
Volume: 15
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02948837

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Equational theories of tropical semiring

Equational theories of tropical semirings

✍ Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 446 KB

This paper studies the equational theories of various exotic semirings presented in the literature. Exotic semirings are semirings whose underlying carrier set is some subset of the set of real numbers equipped with binary operations of minimum or maximum as sum, and addition as product. Two prime e

Lattices of equational theories of model

Lattices of equational theories of models

✍ V. I. Tumanov 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 883 KB

Star-linear equational theories of group

Star-linear equational theories of groupoids

✍ P. Ðapić; J. Ježek; P. Marković; R. McKenzie; D. Stanovský 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 759 KB

Equational theories as congruences of en

Equational theories as congruences of enriched monoids

✍ A. M. Nurakunov 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 219 KB

A property of the lattice of equational

A property of the lattice of equational theories

✍ William A. Lampe 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 440 KB