ICALP
2004
Springer
14 years 6 months ago
2004
Springer
We study graph orientations that minimize the entropy of the in-degree sequence. The problem of finding such an orientation is an interesting special case of the minimum entropy ...
ICALP
2004
Springer
14 years 6 months ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
ICALP
2004
Springer
14 years 6 months ago
2004
Springer
Abstract. We consider a finitary procedural programming language (finite data-types, no recursion) extended with parallel composition and binary semaphores. Having first shown t...
ICALP
2004
Springer
14 years 6 months ago
2004
Springer
ICALP
2004
Springer
14 years 6 months ago
2004
Springer
ICALP
2004
Springer
14 years 6 months ago
2004
Springer
ICALP
2004
Springer
14 years 6 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 6 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 6 months ago
2004
Springer
ICALP
2004
Springer
14 years 6 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 ...