Algorithmic Procedures (Q4018437): Difference between revisions

@@ 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 @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3935355
@@ Property / cites work: Q3935355 / rank @@
+Normal rank
@@ Property / cites work @@
+A Complete Axiomatization of Computer Arithmetic
@@ Property / cites work: A Complete Axiomatization of Computer Arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+The Irrationals are not Recursively Enumerable
@@ Property / cites work: The Irrationals are not Recursively Enumerable / rank @@
+Normal rank
@@ Property / cites work @@
+Q5792485
@@ Property / cites work: Q5792485 / rank @@
+Normal rank