TY  - RPRT
TI  - Semi-decidable equivalence relations obtained by composition and lattice join of decidable equivalence relations
AU  - Edward J. Green
PY  - 2018
UR  - https://arxiv.org/abs/1711.03056
ID  - 1711.03056
ER  -