@article{lmcs:1022, title = {Representations of measurable sets in computable measure theory}, author = {Klaus Weihrauch and Nazanin Tavana-Roshandel}, url = {https://lmcs.episciences.org/1022}, doi = {10.2168/LMCS-10(3:7)2014}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 10, Issue 3}, eid = 7, year = {2014}, month = {Aug}, keywords = {Computer Science - Logic in Computer Science, Mathematics - Logic}, }