Recursion Theory on the Reals and Continuous-time Computation (1995)

Cached

Download Links

by Cristopher Moore
Venue:Theoretical Computer Science
Citations:73 - 4 self

Documents Related by Co-Citation

375 On a theory of computation and complexity over the real numbers – L Blum, M Shub, S Smale - 1989
66 Abstract computability and its relations to the general purpose analog computer – M B Pour-El - 1974
89 Unpredictability and undecidability in dynamical systems – C Moore - 1990
33 and L A Rubel, A differentially algebraic replacement theorem – L Lipshitz
29 An analog characterization of the Grzegorczyk hierarchy – Manuel Lameiras Campagnolo, Cristopher Moore - 2002
68 Universal Computation and Other Capabilities of Hybrid and Continuous Dynamical Systems – Michael S. Branicky - 1995
51 Mathematical theory of the differential analyzer – C E Shannon - 1941
29 Closed-form Analytic Maps in One and Two Dimensions Can Simulate Turing Machines – Pascal Koiran, Cristopher Moore - 1996
307 Classical Recursion Theory – P Odifreddi - 1989
141 Neural Networks and Analog Computation: Beyond the Turing Limit – H T Siegelmann - 1999
12 technological enthusiasm and british technological skepticism in the age of the analog brain – U S - 1996
344 Complexity and Real Computation – L Blum, F Cucker, M Shub, S Smale - 1998
41 The extended analog computer – L A Rubel - 1993
86 Analog Computation via Neural Networks – Hava T. Siegelmann, Eduardo D. Sontag - 1994
59 Extension de la notion de fonction recursive aux fonctions d’une ou plusieurs variables reelles – D Lacombe - 1955
56 Computable functionals – A Grzegorczyk - 1955
151 Computable Analysis, An introduction – K Weihrauch - 2000
12 On an instrument for calculating the integral of the product of two given functions – Thomson
29 Iteration, Inequalities, and Differentiability in Analog Computers – Manuel Lameiras Campagnolo, Cristopher Moore, Jose Felix Costa - 1999