ICALP
2004
Springer
13 years 10 months ago
2004
Springer
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
We present a domain-theoretic version of Picard’s theorem for solving classical initial value problems in Rn . For the case of vector fields that satisfy a Lipschitz condition, ...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
Quantum algorithms for graph problems are considered, both in the adjacency matrix model and in an adjacency list-like array model. We give almost tight lower and upper bounds for ...
ICALP
2004
Springer
13 years 10 months ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...