ICALP
2004
Springer
14 years 5 months ago
2004
Springer
ICALP
2004
Springer
14 years 5 months ago
2004
Springer
ICALP
2004
Springer
14 years 5 months ago
2004
Springer
ICALP
2004
Springer
14 years 5 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
ICALP
2004
Springer
14 years 5 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
14 years 5 months ago
2004
Springer
ICALP
2004
Springer
14 years 5 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
14 years 5 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
14 years 5 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
14 years 5 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...