共 50 条
- [14] COMPUTATIONAL-COMPLEXITY OF RECURSIVELY-ENUMERABLE SETS INFORMATION AND CONTROL, 1982, 52 (01): : 8 - 18
- [18] MINIMAL DEGREES AND RECURSIVELY INSEPARABLE PAIRS OF RECURSIVELY-ENUMERABLE SETS ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (04): : 331 - 342
- [19] MAJOR SUBSETS AND AUTOMORPHISMS OF RECURSIVELY-ENUMERABLE SETS PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS, 1985, 42 : 21 - 32
- [20] FAMILIES OF RECURSIVELY-ENUMERABLE SETS AND THEIR DEGREES OF UNSOLVABILITY IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII MATEMATIKA, 1985, (04): : 13 - 19