Polynomial-time tests for difference terms in idempotent varieties (Q5237442): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07879
@@ Property / arXiv ID: 2011.07879 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing congruences efficiently
@@ Property / cites work: Computing congruences efficiently / rank @@
+Normal rank
@@ Property / cites work @@
+Q3775604
@@ Property / cites work: Q3775604 / rank @@
+Normal rank
@@ Property / cites work @@
+ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
@@ Property / cites work: ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS / 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 @@
+COMPUTATIONAL COMPLEXITY OF VARIOUS MAL'CEV CONDITIONS
+Normal rank
@@ Property / cites work @@
+Varieties with a difference term
@@ Property / cites work: Varieties with a difference term / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity prevents tails
@@ Property / cites work: Modularity prevents tails / rank @@
+Normal rank
@@ Property / cites work @@
+The shape of congruence lattices
@@ Property / cites work: The shape of congruence lattices / 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 @@
+A finite basis theorem for difference-term varieties with a finite residual bound
+Normal rank
@@ Property / cites work @@
+Simpler Maltsev conditions for (weak) difference terms in locally finite varieties
+Normal rank
@@ Property / cites work @@
+Q4029637
@@ Property / cites work: Q4029637 / rank @@
+Normal rank
@@ Property / cites work @@
+A Subalgebra Intersection Property for Congruence Distributive Varieties
+Normal rank
@@ Property / cites work @@
+Idempotent <i>n</i> -permutable varieties
@@ Property / cites work: Idempotent <i>n</i> -permutable varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties having Boolean factor congruences
@@ Property / cites work: Varieties having Boolean factor congruences / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128295510
@@ Property / Wikidata QID: Q128295510 / rank @@
+Normal rank