TY  - RPRT
TI  - Computability in the Lattice of Equivalence Relations
AU  - Jean-Yves Moyen
AU  - Jakob Grue Simonsen
PY  - 2017
DO  - 10.4204/eptcs.248.8
UR  - https://arxiv.org/abs/1704.05587
ID  - 1704.05587
ER  -