<--- Back to Details
First PageDocument Content
Computer science / Theory of computation / Computational complexity theory / Computable number / Computable function / Turing machine / Halting problem / Computability / Real computation / Theoretical computer science / Computability theory / Applied mathematics
Date: 2004-06-22 10:29:01
Computer science
Theory of computation
Computational complexity theory
Computable number
Computable function
Turing machine
Halting problem
Computability
Real computation
Theoretical computer science
Computability theory
Applied mathematics

Computing over the Reals: Where Turing Meets Newton [removed]

Add to Reading List

Source URL: www.cs.cmu.edu

Download Document from Source Website

File Size: 736,38 KB

Share Document on Facebook

Similar Documents

Eleventh International Conference on Computability, Complexity and Randomness CCR ‘16

DocID: 1v9oV - View Document

On the Weak Computability of Continuous Real Functions Matthew S. Bauer and Xizhong Zheng Department of Computer Science and Mathematics Arcadia University Glenside, PA 19038, USA {mbauer, zhengx}@arcadia.edu

DocID: 1uNDW - View Document

The Computability of Relaxed Data Structures: Queues and Stacks as Examples∗ Nir Shavit† Gadi Taubenfeld‡

DocID: 1u1Cb - View Document

Speaker: Jason Rute Title: Randomness, Brownian Motion, Riesz Capacity, and Complexity Abstract: Algorithmic randomness is a topic in computability theory which investigates which paths in a stochastic process behave ran

DocID: 1sWjT - View Document

Computability and Complexity Results for a Spatial Assertion Language for Data Structures Cristiano Calcagno1,2 , Hongseok Yang3 , and Peter W. O’Hearn1 1 Queen Mary, University of London

DocID: 1sTVM - View Document