Calculable enumerations and equivalence relations
From MaRDI portal
Publication:579243
DOI10.1007/BF00969208zbMath0625.03025MaRDI QIDQ579243
Publication date: 1986
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
equivalence relation; computable enumerations; enumerational equivalence; factor-families of fundamental families of recursively enmerable sets
03D45: Theory of numerations, effectively presented structures
Cites Work