It is undecidable whether the Knuth-Bendix completion procedure generates a crossed pair (Q5096169): Difference between revisions

@@ Property / cites work @@
+Q3327746
@@ Property / cites work: Q3327746 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703288
@@ Property / cites work: Q3703288 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the unification and matching problem for canonical theories
+Normal rank
@@ Property / cites work @@
+Q3725541
@@ Property / cites work: Q3725541 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819992
@@ Property / cites work: Q3819992 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805889
@@ Property / cites work: Q3805889 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783520
@@ Property / cites work: Q3783520 / rank @@
+Normal rank
@@ Property / cites work @@
+Unification in permutative equational theories is undecidable
+Normal rank