scientific article
From MaRDI portal
Publication:3377761
zbMath1096.03031MaRDI QIDQ3377761
Juan Climent Vidal, J. Soliveres Tur
Publication date: 29 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
termequationHall algebrasmany-sorted algebraBénabou algebrasBénabou theoriesmany-sorted equational completeness
Equational logic, Mal'tsev conditions (08B05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational classes, universal algebra in model theory (03C05)
Related Items (3)
Many-sorted and single-sorted algebras ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Formalization of universal algebra in Agda
This page was built for publication: