×

找到2个文档(结果1-2)

有效拟Polish空间的枚举类。 (英语) Zbl 07627920号

Berger,Ulrich(编辑)等人,《可计算性的革命与启示》。第18届欧洲可计算性会议,2022年7月11日至15日,英国斯旺西,CiE 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13359, 88-102 (2022).
MSC公司:第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

波兰空间同胚类型的不可计算度。 (英语) Zbl 07633507号

Anselmo,Marcella(编辑)等人,《超越可计算性的视野》。第十六届欧洲可计算性会议,CiE 2020,意大利费西亚诺,2020年6月29日至7月3日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12098, 189-192 (2020).
MSC公司:第68季度
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

出版年份

主字段