Similar Items: Uniform Envelopes
- Localic completion of uniform spaces
- Towards Uniform Certification in QBF
- Indivisibility and uniform computational strength
- URSA: A System for Uniform Reduction to SAT
- Borel-piecewise continuous reducibility for uniformization problems
- Uniform Interpolants in EUF: Algorithms using DAG-representations