眭跃飞 诸峰 张晓如

分割性质 现代应用 递归可枚举集 正规超滤 渐进优超等价类 能行可计算性函数 α-递归集 λ-险峻理想

江苏扬州 扬州师院数学系 扬州师范学院数学系 中国科学研究软件研究所 扬州师院数学与计算机科学系 扬州大学师范学院计算机科学系 扬州大学工学院计算机科学与工程系 扬州大学信息工程学院计算机科学与工程系