Some Relations between Approximation Problems and PCPs over the Real Numbers.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 107, doi. 10.1007/s00224-006-1336-5
- By:
- Publication type:
- Article
Works matching IS 14324350 AND DT 2007 AND VI 40 AND IP 4
Results: 9
1
2
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 127, doi. 10.1007/s00224-006-1342-7
- By:
- Publication type:
- Article
3
A Thread Algebra with Multi-Level Strategic Interleaving.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 3, doi. 10.1007/s00224-006-1337-4
- By:
- Publication type:
- Article
4
Optimal Semicomputable Approximations to Reachable and Invariant Sets.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 33, doi. 10.1007/s00224-006-1338-3
- By:
- Publication type:
- Article
5
Shrad: A Language for Sequential Real Number Computation.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 49, doi. 10.1007/s00224-006-1339-2
- By:
- Publication type:
- Article
6
The Computational Complexity of One-Dimensional Sandpiles.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 119, doi. 10.1007/s00224-006-1341-8
- By:
- Publication type:
- Article
7
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 155, doi. 10.1007/s00224-006-1335-6
- By:
- Publication type:
- Article
8
Theory of Computation at CiE 2005.
- Published in:
- 2007
- By:
- Publication type:
- Editorial
9
Real Hypercomputation and Continuity.
- Published in:
- Theory of Computing Systems, 2007, v. 40, n. 4, p. 177, doi. 10.1007/s00224-006-1343-6
- By:
- Publication type:
- Article