×

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

Ershov层次中元素最少和最多的Rogers半格。 (英语。俄文原件) Zbl 1515.03191号

代数逻辑 61,第3期,225-229(2022); 《代数逻辑学》第61卷第3期第334-340页(2022年)的译文。
MSC公司:03天45分 03D55号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Ershov层次中的单元素Rogers半格。 (英语。俄文原件) Zbl 1515.03192号

代数逻辑 60,第4期,284-287(2021); 《代数逻辑学》第60卷第4期第433-437页(2021年)的译文。
MSC公司:03天45分 03C57
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可计算可枚举的前序关系的结构。 (英语。俄文原件) Zbl 1462.03018号

代数逻辑 59,第3期,201-215(2020); 翻译自代数Logika 59,第3期,293-314(2020)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通用可计算可枚举等价关系综述。 (英语) Zbl 1485.03146号

Day,Adam(编辑)等人,《可计算性和复杂性》。在罗德尼·G·唐尼60岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10010, 418-451 (2017).
MSC公司:03D25号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段