中文

渐近密度与可计算性理论:部分综述

逻辑 2016-10-21 v1

摘要

在本文中,我们综述了泛型与粗可计算性的发展,以及关于经典渐近密度如何与可计算性理论相互作用的主要结果。

关键词

引用

@article{arxiv.1610.06504,
  title  = {Asymptotic Density and the Theory of Computability: A partial survey},
  author = {Carl G. Jockusch and Paul E. Schupp},
  journal= {arXiv preprint arXiv:1610.06504},
  year   = {2016}
}

备注

20 pages