A survey of recursive analysis and Moore's notion of real computation (Q1761708): Difference between revisions

@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+A survey of computational complexity results in systems and control
+Normal rank
@@ Property / cites work @@
+Q5384983
@@ Property / cites work: Q5384983 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Machines, Computations, and Universality
@@ Property / cites work: Machines, Computations, and Universality / rank @@
+Normal rank
@@ Property / cites work @@
+Elementarily computable functions over the real numbers and \(\mathbb R\)-sub-recursive functions
+Normal rank
@@ Property / cites work @@
+Q3416089
@@ Property / cites work: Q3416089 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial differential equations compute all real computable functions on computable compact intervals
+Normal rank
@@ Property / cites work @@
+The differential analyzer. A new machine for solving differential equations
+Normal rank
@@ Property / cites work @@
+Q4437079
@@ Property / cites work: Q4437079 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Computable Analysis with Differential Equations
+Normal rank
@@ Property / cites work @@
+The elementary computable functions over the real numbers: applying two new techniques
+Normal rank
@@ Property / cites work @@
+Iteration, inequalities, and differentiability in analog computers
+Normal rank
@@ Property / cites work @@
+An analog characterization of the Grzegorczyk hierarchy
+Normal rank
@@ Property / cites work @@
+Q4934292
@@ Property / cites work: Q4934292 / rank @@
+Normal rank
@@ Property / cites work @@
+A foundation for real recursive function theory
@@ Property / cites work: A foundation for real recursive function theory / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Time Computation in the Context of Recursive Analysis
+Normal rank
@@ Property / cites work @@
+Some recent developments on Shannon's General Purpose Analog Computer
+Normal rank
@@ Property / cites work @@
+Analog computers and recursive functions over the reals.
+Normal rank
@@ Property / cites work @@
+New Computational Paradigms
@@ Property / cites work: New Computational Paradigms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable functionals
@@ Property / cites work: Computable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Differential recursion
@@ Property / cites work: Differential recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226754
@@ Property / cites work: Q3226754 / rank @@
+Normal rank
@@ Property / cites work @@
+A Differentially Algebraic Replacement Theorem, and Analog Computability
+Normal rank
@@ Property / cites work @@
+Computability on reals, infinite limits and differential equations
+Normal rank
@@ Property / cites work @@
+A survey on real structural complexity theory
@@ Property / cites work: A survey on real structural complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory on the reals and continuous-time computation
+Normal rank
@@ Property / cites work @@
+\(\mu\)-recursion and infinite limits.
@@ Property / cites work: \(\mu\)-recursion and infinite limits. / rank @@
+Normal rank
@@ Property / cites work @@
+Real recursive functions and their hierarchy
@@ Property / cites work: Real recursive functions and their hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+The P\(\neq\) NP conjecture in the context of real and complex analysis
+Normal rank
@@ Property / cites work @@
+A new conceptual framework for analog computation
@@ Property / cites work: A new conceptual framework for analog computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4336274
@@ Property / cites work: Q4336274 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Computability and Its Relation to the General Purpose Analog Computer (Some Connections Between Logic, Differential Equations and Analog Computers)
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Theory of the Differential Analyzer
@@ Property / cites work: Mathematical Theory of the Differential Analyzer / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364585
@@ Property / cites work: Q4364585 / rank @@
+Normal rank