位置：成果数据库 > 会议 > 会议详情页
TURING DEGREES AND THE ERSHOV HIERARCHY
  • 所属机构名称：南京大学
  • 会议名称：10th Asian Logic Conference
  • 成果类型：会议
  • 会场：Kobe, JAPAN
  • 相关项目：可计算性理论及其在算法信息论中的应用
作者： Yu, Liang|Yang, Yue|Stephan, Frank|
同会议论文项目
可计算性理论及其在算法信息论中的应用
期刊论文 7 会议论文 1 获奖 2
同项目会议论文