×

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

将拟光滑空间的赋值空间构造为理想空间。 (英语) Zbl 07830365号

Manea,Florin(编辑)等人,第30届EACSL计算机科学逻辑年会,CSL 2022,德国哥廷根,虚拟会议,2022年2月14-19日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。216,第9条,第10页(2022年)。
MSC公司:03B70号
PDF格式BibTeX公司 XML格式引用

关于\(\西格玛\)-紧空间上的凝聚。 (英语。俄文原件) Zbl 1522.54027号

多克。数学。 106,编号2,351-355(2022); Dokl翻译。罗斯。阿卡德。恶心,Mat.Inform。Protsessy升级。506, 57-61 (2022).
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

Boole vs Wadge:比较描述性集合论的两种基本工具。 (英语) Zbl 07627936号

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

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

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

筛选结果依据…

文档类型