330 search results - page 5 / 66 » Intersection and Union Types |
ISAAC
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We show how to represent sets in a linear space data structure such that expressions involving unions and intersections of sets can be computed in a worst-case efficient ...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
The asynchronous systems f are the models of the asynchronous circuits from digital electrical engineering. They are multi-valued functions that associate to each input u : R {0, ...
DLT
2007
13 years 9 months ago
2007
Abstract. We investigate the state complexity of union and intersection for finite languages. Note that the problem of obtaining the tight bounds for both operations was open. We ...
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
COMGEO
2010
ACM
13 years 7 months ago
2010
ACM
