眭跃飞 诸峰 张晓如

分割性质 现代应用 递归可枚举集 正规超滤 渐进优超等价类 能行可计算性函数 α-递归集 λ-险峻理想 可杯 数据库技术 险峻理想 脱殊扩充 递归可枚举度 算法复杂性 关键点 超幂 发展 商偏序 实数可计算函数 渐近优超 逆归可枚举度 新型数据库 可达性质 可盖

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