Q3869322 (Q3869322): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract computational complexity and cycling computations
+Normal rank
@@ Property / cites work @@
+Q4096921
@@ Property / cites work: Q4096921 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Q4109650
@@ Property / cites work: Q4109650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068081
@@ Property / cites work: Q4068081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133598
@@ Property / cites work: Q4133598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869322
@@ Property / cites work: Q3869322 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601834
@@ Property / cites work: Q5601834 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Q5620581
@@ Property / cites work: Q5620581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4141104
@@ Property / cites work: Q4141104 / rank @@
+Normal rank
@@ Property / cites work @@
+GEDANKEN—a simple typeless language based on the principle of completeness and the reference concept
+Normal rank
@@ Property / cites work @@
+Q4171548
@@ Property / cites work: Q4171548 / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical logic without variables. I
@@ Property / cites work: A mathematical logic without variables. I / rank @@
+Normal rank
@@ Property / cites work @@
+Types in combinatory logic
@@ Property / cites work: Types in combinatory logic / rank @@
+Normal rank