scientific article
From MaRDI portal
Publication:3853702
zbMath0421.08003MaRDI QIDQ3853702
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Equational logic, Mal'tsev conditions (08B05) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?, Implication of clauses is undecidable, Laws obeyed by topological algebras - extending results of Hopf and Adams