Safe Recursion Over an Arbitrary Structure: PAR, PH and DPH (Q4916232): Difference between revisions

@@ Property / author @@
-Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
-Normal rank
@@ Property / author @@
+Olivier Bournez
@@ Property / author: Olivier Bournez / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850544
@@ Property / cites work: Q4850544 / rank @@
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Q4417859
@@ Property / cites work: Q4417859 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850061
@@ Property / cites work: Q4850061 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4058132
@@ Property / cites work: Q4058132 / rank @@
+Normal rank
@@ Property / cites work @@
+Accessible telephone directories
@@ Property / cites work: Accessible telephone directories / rank @@
+Normal rank
@@ Property / cites work @@
+Metafinite model theory
@@ Property / cites work: Metafinite model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234078
@@ Property / cites work: Q4234078 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227581
@@ Property / cites work: Q4227581 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of higher-order types or, life without CONS
+Normal rank
@@ Property / cites work @@
+Q2767004
@@ Property / cites work: Q2767004 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4729767
@@ Property / cites work: Q4729767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4841154
@@ Property / cites work: Q4841154 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3902993
@@ Property / cites work: Q3902993 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(03)00005-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2040277600
@@ Property / OpenAlex ID: W2040277600 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4916232