researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Theory Comput. Syst.
Home
Index
Info
Issue
Volume
41
, Issue
1
1
--
2
S. Barry Cooper
,
Benedikt Löwe
,
Peter van Emde Boas
.
Theory of Computation at CiE 2005
3
--
32
Jan A. Bergstra
,
C. A. Middelburg
.
A Thread Algebra with Multi-Level Strategic Interleaving
33
--
48
Pieter Collins
.
Optimal Semicomputable Approximations to Reachable and Invariant Sets
49
--
105
Amin Farjudian
.
Shrad: A Language for Sequential Real Number Computation
107
--
118
Klaus Meer
.
Some Relations between Approximation Problems and PCPs over the Real Numbers
119
--
125
Peter Bro Miltersen
.
The Computational Complexity of One-Dimensional Sandpiles
127
--
154
Milad Niqui
.
Productivity of Edalat-Potts Exact Arithmetic in Constructive Type Theory
155
--
175
Ning Zhong
.
Computable Analysis of a Boundary-Value Problem for the Korteweg-de Vries Equation
177
--
206
Martin Ziegler
.
Real Hypercomputation and Continuity