Finiteness results on rewriting systems
Jean-Claude Raoult (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Jean-Claude Raoult (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Robert Knast (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
I. Chajda, R. Halaš (2004)
Open Mathematics
Similarity:
We present diagrammatic schemes characterizing congruence 3-permutable and distributive algebras. We show that a congruence 3-permutable algebra is congruence meetsemidistributive if and only if it is distributive. We characterize varieties of algebras satisfying the so-called triangular scheme by means of a Maltsev-type condition.
Bruno Courcelle, Jean H. Gallier (1987)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
A. Arnold (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
A. Ja. Dikovskii (1981)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Ivan Chajda, Radomír Halaš (2007)
Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
Similarity:
A diagrammatic scheme characterizing congruence distributivity of congruence permutable algebras was introduced by the first author in 2001. It is known under the name Triangular Scheme. It is known that every congruence distributive algebra satisfies this scheme and an algebra satisfying the Triangular Scheme which is not congruence distributive was found by E. K. Horváth, G. Czédli and the autor in 2003. On the other hand, it was an open problem if a variety of algebras satisfying...