A complex of problems proposed by Post (Q5557938): Difference between revisions

@@ Property / cites work @@
+The word problem
@@ Property / cites work: The word problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3247126
@@ Property / cites work: Q3247126 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+A detailed argument for the Post-Linial theorems
@@ Property / cites work: A detailed argument for the Post-Linial theorems / rank @@
+Normal rank