Werner's set-theoretical model is one of the simplest models of CIC. It
...
Convex sets appear in various mathematical theories, and are used to def...
The algebraic properties of the combination of probabilistic choice and
...
Succinct data structures give space-efficient representations of large
a...