ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS (Q3621430): Difference between revisions

@@ Property / cites work @@
+COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE
@@ Property / cites work: COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782447
@@ Property / cites work: Q2782447 / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Modularity for Congruence Lattices of Algebras*
+Normal rank
@@ Property / cites work @@
+A Characterization of Identities Implying Congruence Modularity I
+Normal rank
@@ Property / cites work @@
+Computing congruences efficiently
@@ Property / cites work: Computing congruences efficiently / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence modularity is permutability composed with distributivity
+Normal rank
@@ Property / cites work @@
+On \(n\)-permutable congruences
@@ Property / cites work: On \(n\)-permutable congruences / rank @@
+Normal rank
@@ Property / cites work @@
+FINDING TYPE SETS IS NP-HARD
@@ Property / cites work: FINDING TYPE SETS IS NP-HARD / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+A modification of Polin's variety
@@ Property / cites work: A modification of Polin's variety / rank @@
+Normal rank
@@ Property / cites work @@
+Congruence permutable and congruence 3-permutable locally finite varieties
+Normal rank
@@ Property / cites work @@
+Modularity prevents tails
@@ Property / cites work: Modularity prevents tails / rank @@
+Normal rank
@@ Property / cites work @@
+The Relationship Between Two Commutators
@@ Property / cites work: The Relationship Between Two Commutators / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
+Normal rank
@@ Property / cites work @@
+TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
@@ Property / cites work: TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties whose congruences satisfy certain lattice identities
+Normal rank
@@ Property / cites work @@
+Q4029637
@@ Property / cites work: Q4029637 / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of congruence permutable locally finite varieties
+Normal rank