230 search results - page 4 / 46 » The Inclusion Problem for Regular Expressions |
KR
2000
Springer
14 years 6 days ago
2000
Springer
We present a new tableaux calculus deciding the ABox consistency problem for the expressive description logic ALCNHR+ . Prominent language features of ALCNHR+ are number restricti...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
This paper studies the problem of matching sequences against regular expressions in order to produce structured values.
RTA
2010
Springer
14 years 16 days ago
2010
Springer
Abstract. We extend first-order order-sorted unification by permitting regular expression sorts for variables and in the domains of function symbols. The set of basic sorts is ...
WIA
2009
Springer
14 years 3 months ago
2009
Springer
We continue our work [H. Gruber, M. Holzer: Provably shorter regular expressions from deterministic finite automata (extended ). In Proc. DLT, LNCS 5257, 2008] on the problem of ...
CPM
2001
Springer
14 years 1 months ago
2001
Springer
We present a solution to the problem of regular expression searching on compressed text. The format we choose is the Ziv-Lempel family, speci cally the LZ78 and LZW variants. Give...