ENTCS
2007
14 years 2 months ago
2007
In the constructive setting, membership predicates over recursive types are inhabited by terms indexing the elements that satisfy the criteria for membership. In this paper, we mo...
CIKM
2008
Springer
14 years 4 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...
ICDCS
2000
IEEE
14 years 7 months ago
2000
IEEE
We describe a novel scalable group membership algorithm designed for wide area networks WANs . Our membership service does not evolve from existing LAN-oriented membership servic...
LATA
2009
Springer
14 years 9 months ago
2009
Springer
We show that fixed membership testing for many interesting subclasses of multi-pushdown machines is no harder than for pushdowns with single stack. The models we consider are MVPA...