7 papers:
PODS-2013-Wong #calculus #power of #relational #set- A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
SAS-2004-Schmidt #approximate #logic- Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.
VMCAI-2004-BagnaraHZ #set- Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
TACAS-2001-CimattiRB #automaton #model checking #set- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking (AC, MR, PB), pp. 313–327.
- PODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive
- Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.
ILPS-1994-FileR #abstract interpretation #set- Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
SIGMOD-1988-GyssensG #algebra #programming #relational #set- The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.
