Volume 41; Issue 1

Theory of Computing Systems

Volume 41; Issue 1
1

Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation

Ning Zhong
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 281 KB
english, 2007
2

Some Relations between Approximation Problems and PCPs over the Real Numbers

Klaus Meer
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 236 KB
english, 2007
3

A Thread Algebra with Multi-Level Strategic Interleaving

J.A. Bergstra, C.A. Middelburg
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 352 KB
english, 2007
4

Optimal Semicomputable Approximations to Reachable and Invariant Sets

Pieter Collins
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 249 KB
english, 2007
5

Shrad: A Language for Sequential Real Number Computation

Amin Farjudian
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 577 KB
english, 2007
6

The Computational Complexity of One-Dimensional Sandpiles

Peter Bro Miltersen
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 125 KB
english, 2007
7

Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory

Milad Niqui
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 404 KB
english, 2007
8

Real Hypercomputation and Continuity

Martin Ziegler
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 679 KB
english, 2007
9

Theory of Computation at CiE 2005

S. Barry Cooper, Benedikt Lowe, Peter van Emde Boas
Journal:
Theory of Computing Systems
Year:
2007
Language:
english
File:
PDF, 136 KB
english, 2007