共 50 条
- [21] Intersections and Unions of Session Types [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (242): : 4 - 19
- [22] Effective Randomness of Unions and Intersections [J]. Theory of Computing Systems, 2013, 52 : 48 - 64
- [24] Untangling Typechecking of Intersections and Unions [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (45): : 59 - 70
- [28] Adaptive set intersections, unions, and differences [J]. PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 743 - 752
- [30] On unions and intersections of nested families of cones [J]. BEITRAGE ZUR ALGEBRA UND GEOMETRIE-CONTRIBUTIONS TO ALGEBRA AND GEOMETRY, 2016, 57 (03): : 655 - 665