Decision Procedures for Theories of Sets with Measures.

Markus Bender, Viorica Sofronie-Stokkermans

Browse the full CADE paper archive.