Hilbert's tenth problem is of unification type zero (Q688556): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of idempotent semigroups is of unification type zero
+Normal rank
@@ Property / cites work @@
+Unification in varieties of idempotent semigroups
@@ Property / cites work: Unification in varieties of idempotent semigroups / rank @@
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Q3335752
@@ Property / cites work: Q3335752 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Equality
@@ Property / cites work: The Logic of Equality / rank @@
+Normal rank
@@ Property / cites work @@
+New decision algorithms for finitely presented commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q5613949
@@ Property / cites work: Q5613949 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete Sets of Reductions for Some Equational Theories
+Normal rank
@@ Property / cites work @@
+Unification under associativity and idempotence is of type nullary
+Normal rank
@@ Property / cites work @@
+Unification theory
@@ Property / cites work: Unification theory / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the D<sub>A</sub>-unification problem
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:688556