Tiering as a Recursion Technique (Q3370611): 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.2178/bsl/1122038991
+Normal rank
@@ Property / OpenAlex ID @@
+W1977893559
@@ Property / OpenAlex ID: W1977893559 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+Characterizing the elementary recursive functions by a fragment of Gödel's \(T\)
+Normal rank
@@ Property / cites work @@
+The realm of primitive recursion
@@ Property / cites work: The realm of primitive recursion / rank @@
+Normal rank
@@ Property / cites work @@
+A new “feasible” arithmetic
@@ Property / cites work: A new “feasible” arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Finitely stratified polymorphism
@@ Property / cites work: Finitely stratified polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Isometries of CSL Algebras
@@ Property / cites work: Isometries of CSL Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
+Normal rank
@@ Property / cites work @@
+Safe recursion with higher types and BCK-algebra
@@ Property / cites work: Safe recursion with higher types and BCK-algebra / rank @@
+Normal rank