Rudimentary relations and primitive recursion: A toolbox (Q1127532): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Expectations for Inbreeding Depression on Self-Fertilization of Tetraploids
+Normal rank
@@ Property / cites work @@
+Overspill and fragments of arithmetic
@@ Property / cites work: Overspill and fragments of arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317319
@@ Property / cites work: Q4317319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Grzegorczyk classes and limited minimum
@@ Property / cites work: Small Grzegorczyk classes and limited minimum / rank @@
+Normal rank
@@ Property / cites work @@
+Context-free languages and rudimentary attributes
@@ Property / cites work: Context-free languages and rudimentary attributes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Small Grzegorczyk Classes
@@ Property / cites work: Small Grzegorczyk Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Languages and Second‐Order Logic
@@ Property / cites work: Rudimentary Languages and Second‐Order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Counting $Δ_0$ sets
@@ Property / cites work: Counting $Δ_0$ sets / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Rudimentary Predicates and Relative Computation
@@ Property / cites work: Rudimentary Predicates and Relative Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Super-exponentials nonprimitive recursive, but rudimentary
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1127532