Li Xiang

Everywhere Nonrecursive r.e. Sets in Recursively Presented Topological Spaces

Li Xiang, 1988 .

Effective Immune Sets, Program Index Sets and Effectively Simple Sets – Generalizations and Applications of the Recursion Theorem

Li Xiang, 1983 .