Reducibilities in two models for combinatory logic (Q3206935): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2307/2273730
@@ Property / full work available at URL: https://doi.org/10.2307/2273730 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2043285104
@@ Property / OpenAlex ID: W2043285104 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumeration reducibility and partial degrees
@@ Property / cites work: Enumeration reducibility and partial degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperenumeration reducibility
@@ Property / cites work: Hyperenumeration reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Category methods in recursion theory
@@ Property / cites work: Category methods in recursion theory / rank @@
+Normal rank