53 search results - page 4 / 11 » icalp 2004 |
ICALP
2004
Springer
14 years 25 days 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 25 days ago
2004
Springer
We generalise the notion of pre-logical predicates [HS02] to arbitrary simply typed formal systems and their categorical models. We establish the basic lemma of pre-logical predica...
ICALP
2004
Springer
14 years 25 days ago
2004
Springer
We consider the Edit distance with moves on the class of words and the class of ordered trees. We first exhibit a simple tester for the class of regular languages on words and gen...
ICALP
2004
Springer
14 years 25 days 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 25 days ago
2004
Springer
This paper is an attempt to develop a unifying algebraic framework for extensional theories capturing formally the informal concept of extensionality, as well as a generic automate...