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: