Primitive Recursiveness of Real Numbers under Different Representations (Q4921448): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2006.08.018
@@ Property / DOI: 10.1016/j.entcs.2006.08.018 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2006.08.018
+Normal rank
@@ Property / OpenAlex ID @@
+W1971302141
@@ Property / OpenAlex ID: W1971302141 / rank @@
+Normal rank
@@ Property / cites work @@
+The recursive irrationality of <i>π</i>
@@ Property / cites work: The recursive irrationality of <i>π</i> / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856819
@@ Property / cites work: Q3856819 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222035
@@ Property / cites work: Q4222035 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definitions of some complexity classes of real numbers
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive real numbers
@@ Property / cites work: Recursive real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On primitive recursive real numbers
@@ Property / cites work: On primitive recursive real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+On computable sequences
@@ Property / cites work: On computable sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria of constructibility for real numbers
@@ Property / cites work: Criteria of constructibility for real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q3241331
@@ Property / cites work: Q3241331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801335
@@ Property / cites work: Q5801335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5805955
@@ Property / cites work: Q5805955 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Real Numbers
@@ Property / cites work: Recursive Real Numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531994
@@ Property / cites work: Q4531994 / rank @@
+Normal rank
@@ Property / cites work @@
+Nicht konstruktiv beweisbare Sätze der Analysis
@@ Property / cites work: Nicht konstruktiv beweisbare Sätze der Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2006.08.018
@@ Property / DOI: 10.1016/J.ENTCS.2006.08.018 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4921448