Unification in free distributive lattices (Q1322163): Difference between revisions

@@ Property / cites work @@
+Unification in commutative idempotent monoids
@@ Property / cites work: Unification in commutative idempotent monoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q4165427
@@ Property / cites work: Q4165427 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in Boolean rings
@@ Property / cites work: Unification in Boolean rings / rank @@
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank