超越实数的存在论理论

摘要:完备性的鲁棒性考查及其在多种计算问题中的应用。

作者:Marcus Schaefer and Daniel Stefankovic

论文ID:2210.00571

分类:Computational Complexity

分类简称:cs.CC

提交时间:2022-11-21

PDF 下载: 英文版 中文版pdf翻译中