×

找到454个文档(结果1-100)

向下密度的非均匀性,以可计算的可枚举图灵度表示。 (英语。俄文原件) Zbl 07712850号

俄罗斯数学。 66,编号11,110-115(2022); Izv的翻译。维什。乌切布。扎韦德。,材料2022,编号11,124-131(2022)。
MSC公司:03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

渐近密度和可计算性。 (英语。俄文原件) Zbl 1496.03168号

俄罗斯数学。 65,编号10,1-9(2021); Izv的翻译。维什。乌切布。扎韦德。,材料2021,编号10,3-14(2021)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

完整公式具有无限解的模型的可判定分类程度。 (英语。俄文原件) Zbl 1515.03162号

代数逻辑 60,第3期,200-206(2021); 《代数逻辑60》第3期第303-312页(2021年)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

图灵可计算性:结构理论。 (英语。俄文原件) Zbl 07364536号

数学杂志。科学。,纽约 256,编号1,1-33(2021); 翻译自伊托基·诺基(Itogi Nauki Tekh.)。,序列号。索夫雷姆。Mat.Prilozh。,特马特。奥巴马。157, 8-41 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

粗可计算性、密度度量、图灵度之间的豪斯道夫距离、完美树和逆向数学。 arXiv:2106.1118

预打印,arXiv:2106.13118[math.LO](2021)。
BibTeX公司 引用
全文: arXiv公司

以2个可计算的可枚举度从侧面隔离。 (英语。俄文原件) Zbl 1454.03051号

俄罗斯数学。 64,第8号,70-73(2020年); Izv的翻译。维什。乌切布。扎韦德。,材料2020,第8号,81-86(2020)。
MSC公司:03D25号 03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

子结构格的图灵度和自同构群。 (英语。俄文原件) Zbl 1484.03076号

代数逻辑 59,第1号,18-32(2020年); 《代数逻辑》59,第1期,第27-47页(2020年)的译文。
MSC公司:03D28号 03D45号
PDF格式BibTeX公司 XML格式引用

最小弱真值表度和可计算可枚举图灵度。 (英语) Zbl 1460.03002号

美国数学学会回忆录1284.普罗维登斯,RI:美国数学学会(AMS)(ISBN 978-1-4704-4162-3/pbk;978-1-4740-6136-2/电子书)。vii,90页。(2020年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几乎素数模型完备公式的图灵度。 (英语。俄文原件) 兹比尔1485.03112

代数逻辑 58,第3期,282-287(2019); 摘自《代数逻辑》58,第3期,417-425(2019)。
MSC公司:03C57 03D28号 03D45号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

有界跳跃和高/低层次。 (英语) Zbl 1528.03178号

Gopal,T.V.(编辑)等人,《计算模型的理论和应用》。2019年4月13日至16日,日本北九州TAMC 2019第15届年会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11436, 647-658 (2019).
MSC公司:03日30分 03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

伽马问题的答案。 (英语) Zbl 1453.03042号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。730-738 (2018).
MSC公司:03天32分 03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有任意算法复杂性排序的组。 (英语) Zbl 1448.03023号

Friedman,Sy-David(编辑)等人,《集合与计算》。新泽西州哈肯萨克:《世界科学》。莱克特。注释序列。,Inst.数学。科学。,国家。新加坡大学。33, 221-251 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

算术层次细化中的图灵度。 (英语。俄文原件) Zbl 1485.03155号

代数逻辑 57,第3期,222-236(2018); 《代数逻辑》57,第3期,338-361(2018)的译文。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构的基本可嵌入性谱。 (英语) Zbl 1509.03112号

Manea,Florin(编辑)等人,《计算世界中的帆船路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 349-358 (2018).
MSC公司:03C57 03D28号
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可计算的\(\ell^p\)副本的等距度。 (英语) Zbl 1480.03032号

Manea,Florin(编辑)等人,《计算世界中的航海路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议,CiE 2018。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10936, 277-286 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

量子优势实验的复杂性理论基础。 (英语) Zbl 1451.81157号

Ryan O'Donnell(编辑),第32届计算复杂性会议,CCC 2017年7月6日至9日,拉脱维亚里加。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。79,第22条,第67页(2017年)。
PDF格式BibTeX公司 XML格式引用

广义可计算枚举的Rogers半格。 (英语。俄文原件) Zbl 1420.03094号

同胞。数学。J。 58,第6号,1104-1110(2017); 来自Sib的翻译。材料Zh。58,第6期,1418-1427(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份