茨万科伊尔贾佐维奇;马蒂亚·杰利奇 带有附加弧的集合的可计算性。 (英语) Zbl 07832866号 数学。Commun公司。 第1号,第29页,第1-19页(2024年).MSC公司:03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{M.Jelić}.数学。Commun公司。29,编号1,1--19(2024;Zbl 07832866) 全文: 链接
Diego A.罗哈斯。 有效的弱收敛和模糊收敛措施在实线上。 (英语) Zbl 07790939号 架构(architecture)。数学。逻辑 63,编号1-2,225-238(2024).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Rojas},拱门。数学。逻辑63,编号1--2,225-238(2024;Zbl 07790939) 全文: 内政部 arXiv公司 OA许可证
茨万科伊尔贾佐维奇;马蒂亚·杰利奇 具有可计算端点的可链接连续统的可计算近似。 (英语) Zbl 07790936号 架构(architecture)。数学。逻辑 63,编号1-2,181-201(2024).MSC公司:03D78号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{M.Jelić}.建筑。数学。逻辑63,编号1--2,181--201(2024;Zbl 07790936) 全文: 内政部
尼古拉·巴热诺夫;Fiori-Carones,玛尔塔;刘璐;亚历山大·梅尔尼科夫 原始递归逆向数学。 (英语) Zbl 07748763号 Ann.纯粹应用。逻辑 175,第1号,文章ID 103354,55页(2024).MSC公司:03B30型 35楼03号 03D20日 03C57号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazhenov}等人,Ann.Pure Appl。逻辑175,第1号,文章ID 103354,55页(2024;Zbl 07748763) 全文: 内政部 arXiv公司
鲁伯特·Hölzl;菲利普·贾尼基;沃尔夫冈·默克尔;弗兰克·斯蒂芬 随机性与超高速性。 arXiv公司:2404.15811 预打印,arXiv:2404.15811[math.LO](2024)。MSC公司:03天32分 03D78号 03层60 BibTeX公司 引用 \textit{R.Hölzl}等人,“随机性与超高速性”,预打印,arXiv:2404.15811[math.LO](2024) 全文: arXiv公司 OA许可证
西蒙·哈特格尔(Simon M.Huttegger)。;肖恩·沃尔什;弗朗西丝卡·扎福拉·布兰多 算法随机性、有效分解和收敛速度。 arXiv公司:2403.19978 预印本,arXiv:2403.19978[math.LO](2024)。MSC公司:03天32分 03A10号 03D78号 03层60 60个10 60B05型 60G48型 BibTeX公司 引用 \textit{S.M.Huttegger}等人,“算法随机性、有效分解和收敛到真理的速度”,预打印,arXiv:2403.19978[math.LO](2024) 全文: arXiv公司 OA许可证
保罗·黑格;马西莫·莫斯科拉里;斯特凡·特乌费尔 从局部块计算无限体积算子的谱和伪谱。 arXiv公司:2403.19055 预印本,arXiv:2403.19055[math.SP](2024)。MSC公司:65年20月 03D78号 65层99 BibTeX公司 引用 \textit{P.Hege}等人,“从局部补丁计算无限体积算子的谱和伪谱”,Preprint,arXiv:2403.19055[math.SP](2024) 全文: arXiv公司 OA许可证
蒂莫西·麦克尼科尔。 评价性陈述。 arXiv公司:2403.13616 预打印,arXiv:2403.13616[math.LO](2024)。MSC公司:03D78号 BibTeX公司 引用 \textit{T.H.McNicholl},“评估性演讲”,预印本,arXiv:2403.13616[math.LO](2024) 全文: arXiv公司 OA许可证
彼得·伯顿;克里斯托弗·伊格尔。;亚历克·福克斯;艾萨克·戈德布林;马修·哈里森·特雷纳;蒂莫西·麦克尼科尔。;亚历山大·梅尔尼科夫;提拉瓦特Thewmorakot 可计算Gelfand对偶。 arXiv公司:2402.16672 预印本,arXiv:2402.16672[math.LO](2024)。MSC公司:03D78号 03D45号 BibTeX公司 引用 \textit{P.Burton}等人,“可计算Gelfand对偶”,预打印,arXiv:2402.16672[math.LO](2024) 全文: arXiv公司 OA许可证
尤里·安德鲁斯;斯泰芬·伦普;阿尔贝托·马可尼;Joseph S.米勒。;曼利奥·瓦伦蒂 Weihrauch度上的跳跃算子。 arXiv公司:2402.13163 预打印,arXiv:2402.13163[math.LO](2024)。MSC公司:03日30分 03D78号 BibTeX公司 引用 \textit{U.Andrews}等人,“Weihrauch度上的跳跃算子”,预打印,arXiv:2402.13163[math.LO](2024) 全文: arXiv公司 OA许可证
阿诺·保利;乔瓦尼·索尔达 序列不连续性和一阶问题。 arXiv公司:2401.12641 预打印,arXiv:2401.12641[math.LO](2024)。MSC公司:03D78号 03日30分 05年5月54日 BibTeX公司 引用 \textit{A.Pauly}和\textit{G.Soldá},“序列不连续性和一阶问题”,预打印,arXiv:2401.12641[math.LO](2024) 全文: arXiv公司 OA许可证
吴君乐;阿诺·保利;曼利奥·瓦伦蒂 在未建立的线性顺序中查找递减序列的弱点。 arXiv公司:2401.11807 预印本,arXiv:2401.11807[math.LO](2024)。MSC公司:03日30分 03D78号 06A75号 BibTeX公司 引用 \textit{J.Le Goh}等人,“在未建立的线性顺序中寻找降序序列的弱点”,Preprint,arXiv:2401.11807[math.LO](2024) 全文: arXiv公司 OA许可证
塞巴斯蒂安·巴比里;尼卡诺·卡拉斯科·瓦格斯;克里斯托巴尔·罗哈斯 超零维有效动力系统和SFT因子。 arXiv公司:2401.07973 预印本,arXiv:2401.07973[math.DS](2024)。MSC公司:37B10号机组 37B02型 03D78号 2010年1月20日 BibTeX公司 引用 \textit{S.Barbieri}等人,“超零维有效动力系统和SFT因子”,Preprint,arXiv:2401.07973[math.DS](2024) 全文: arXiv公司 OA许可证
卡勒布·卡姆鲁德 连续逻辑的广义有效完备性。 (英语) Zbl 07770954号 J.日志。分析。 15,第4号论文,第17页(2023年).MSC公司:03C57号 03D78号 03B52号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud},J.Log。分析。15,第4号论文,17页(2023;Zbl 07770954) 全文: 内政部 arXiv公司
罗伯特·卡多纳;伊娃,米兰达;丹尼尔·佩拉塔·萨拉斯 看着欧拉通过接触镜:普遍性和不确定性。 (英语) 兹伯利07763397 Hujdurović,Ademir(编辑)等人,欧洲数学大会。2021年6月20日至26日,斯洛文尼亚波托罗日,8ECM,第八届大会会议记录。柏林:欧洲数学学会(EMS)。367-393 (2023).MSC公司:第31季度35 76B03型 37J06型 03D78号 57兰特 35A01型 35A02型 35R01型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cardona}等人,in:欧洲数学大会。2021年6月20日至26日,斯洛文尼亚波托罗日,8ECM,第八届大会会议记录。柏林:欧洲数学学会(EMS)。367--393(2023;Zbl 07763397) 全文: 内政部 arXiv公司
马修·苏季克(Matthew P.Szudzik)。 可计算物理模型的语义。 (英语) Zbl 07755334号 螺柱日志。 111,第5号,779-819(2023).MSC公司:03A10号 03C98号 03C57号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Szudzik},研究日志。111,编号5,779--819(2023;Zbl 07755334) 全文: 内政部 arXiv公司 OA许可证
克劳斯·米尔 实数复杂性的证明验证。 (英语) Zbl 07753415号 纯应用程序。功能。分析。 8,第4期,1135-1157(2023).MSC公司:2015年第68季度 65年第68季度 60年第68季度 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},纯应用。功能。分析。8,编号4,1135--1157(2023;Zbl 07753415) 全文: 链接
卡勒布·卡姆鲁德;艾萨克·戈德布林;蒂莫西·麦克尼科尔。 关于可计算的度量结构理论的复杂性。 (英语) Zbl 07742505号 架构(architecture)。数学。逻辑 62,编号7-8,1111-1129(2023).MSC公司:03C57号 03D78号 03C75号 03B52号 PDF格式BibTeX公司 XML格式引用 \textit{C.Camrud}等人,Arch。数学。逻辑62,编号7--81111--1129(2023;Zbl 07742505) 全文: 内政部 arXiv公司
瓦斯科·布拉特卡 不连续性问题。 (英语) 兹比尔07735950 J.塞姆。日志。 88,第3期,1191-1212(2023).MSC公司:03日30分 03D78号 03E15年 03E25型 03E60年 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka},J.Symb(J.塞姆)。日志。88,第3号,1191--1212(2023;Zbl 07735950) 全文: 内政部 arXiv公司
郭健;刘国珍;宋玲;涂,易 探索SAT进行密码分析:针对6轮SHA-3的(量子)碰撞攻击。 (英语) 兹比尔1530.81054 Agrawal,Shweta(编辑)等人,《密码学进展——亚洲密码2022》。第28届国际密码学和信息安全理论与应用会议,台湾台北,2022年12月5日至9日。诉讼程序。第三部分查姆:斯普林格。莱克特。注释计算。科学。13793, 645-674 (2023).MSC公司:81页94 94A60型 68页第10页 03D78号 68立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.Guo}等人,Lect。注释计算。科学。13793、645--674(2023年;Zbl 1530.81054) 全文: 内政部
罗德尼·G·唐尼。;亚历山大·梅尔尼科夫。 可计算的紧度量空间。 (英语) Zbl 07725101号 牛市。符号。日志。 29,编号2,170-263(2023).MSC公司:03D45号 03D78号 03C57号 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Downey}和\textit{A.G.Melnikov},公牛。符号。日志。29,第2号,170--263(2023;Zbl 07725101) 全文: 内政部
尼古拉·巴热诺夫;马修·哈里森·特雷纳;亚历山大·梅尔尼科夫 可计算石材空间。 (英语) Zbl 07719414号 Ann.纯粹应用。逻辑 174,第9号,文章ID 103304,25页(2023).MSC公司:03D78号 03C57号 03D45号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{N.Bazenov}等人,Ann.纯应用。逻辑174,第9号,文章ID 103304,25页(2023;Zbl 07719414) 全文: 内政部 arXiv公司
乔瓦尼·索尔达;曼利奥·瓦伦蒂 问题一阶部分的代数性质。 (英语) Zbl 07687145号 Ann.纯粹应用。逻辑 174,第7号,文章ID 103270,41页(2023).MSC公司:03D78号 03日30分 03D55号 03D99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Soldá}和\textit{M.Valenti},Ann.《纯粹的应用》。逻辑174,第7号,文章ID 103270,41页(2023;Zbl 07687145) 全文: 内政部 arXiv公司
里卡多·戈齐;丹尼尔·格拉萨 用多项式微分方程表征时间计算复杂性类。 (英语) Zbl 1526.68001号 可计算性 第12期,第1期,第23-57页(2023年). 审核人:Arne Meier(汉诺威) MSC公司:2015年第68季度 2015年3月1日 03D20日 03D78号 34A34飞机 04年第68季度 2009年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gozzi}和\textit{D.Graça},可计算性12,No.1,23-57(2023;Zbl 1526.68001) 全文: 内政部
科普,尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 (英语) Zbl 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司:03B70号 03D78号 68纳米30 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg},Theor。计算。科学。943171--186(2023年;Zbl 07638593) 全文: 内政部
Iljazović,兹沃科;Validć,卢西娅 等距群下点的有效紧性和轨道。 (英语) Zbl 07628760号 Ann.纯粹应用。逻辑 174,第2号,文章ID 103198,34页(2023).MSC公司:03D78号 03层60 03天80 54小时99 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{L.Validíić{,Ann.Pure Appl。逻辑174,第2号,文章ID 103198,34页(2023;Zbl 07628760) 全文: 内政部
达米尔·扎法罗夫;里德·所罗门;曼利奥·瓦伦蒂 Weihrauch度中的树鸽子洞原理。 arXiv公司:2312.10535 预打印,arXiv:2312.10535[math.LO](2023)。MSC公司:03D78号 03日30分 03B30型 05元55分 05二氧化碳 BibTeX公司 引用 \textit{D.Dzhafarov}等人,“Weihrauch度中的树鸽子洞原理”,预印本,arXiv:2312.10535[math.LO](2023) 全文: arXiv公司 OA许可证
伊曼纽尔·劳齐 类型1可计算拓扑空间理论中的新定义。 arXiv公司:2311.16340 预印本,arXiv:2311.16340[math.LO](2023)。MSC公司:03D78号 03D45号 BibTeX公司 引用 \textit{E.Rauzy},“类型1可计算拓扑空间理论中的新定义”,Preprint,arXiv:2311.16340[math.LO](2023) 全文: arXiv公司 OA许可证
伊曼纽尔·劳齐 与子基编号和正式包含关系相关的多重表示。 arXiv:2311.15861号 预印本,arXiv:2311.15861[math.LO](2023)。MSC公司:03D78号 03C57号 BibTeX公司 引用 \textit{E.Rauzy},“与子基编号和形式包含关系相关的多重表示”,Preprint,arXiv:2311.15861[math.LO](2023) 全文: arXiv公司 OA许可证
伊曼纽尔·劳齐 马尔可夫方法对1型可计算函数连续性问题的推广。 arXiv:2311.15857号 预打印,arXiv:2311.15857[math.LO](2023)。MSC公司:03D45号 03D78号 BibTeX公司 引用 \textit{E.Rauzy},“马尔可夫方法对类型1可计算函数连续性问题的推广”,预打印,arXiv:2311.15857[math.LO](2023) 全文: arXiv公司 OA许可证
斯泰芬·伦普;约瑟夫·米勒。;阿诺·保利;玛丽亚·索斯科娃。;曼利奥·瓦伦蒂 Weihrauch度的最小覆盖。 arXiv:2311.12676号 预印本,arXiv:2311.12676[math.LO](2023)。MSC公司:03日30分 03D78号 BibTeX公司 引用 \textit{S.Lempp}等人,“Weihrauch度的最小覆盖”,预印本,arXiv:2311.12676[math.LO](2023) 全文: arXiv公司 OA许可证
粘合剂,伊利亚;何千都;李志强;张一伟 关于平衡态的可计算性。 arXiv:2311.09374号 预印本,arXiv:2311.09374[math.DS](2023)。MSC公司:03D78号 37天35分 37D20型 2015年1月37日 BibTeX公司 引用 \textit{I.Binder}等人,“关于平衡态的可计算性”,预印本,arXiv:2311.09374[math.DS](2023) 全文: arXiv公司 OA许可证
维克托·切尔诺夫;弗拉基米尔·切尔诺夫 线性规划问题在算法上不可解的条件。 arXiv:2311.06687号 预印本,arXiv:2311.06687[math.OC](2023)。MSC公司:03D78号 03层60 90立方厘米05 BibTeX公司 引用 \textit{V.Chernov}和\textit{V.Chernovneneneep,“线性规划问题在算法上不可解的条件”,预打印,arXiv:2311.06687[math.OC](2023) 全文: arXiv公司 OA许可证
菲利普·贾尼基 重新排序的可计算数字。 arXiv公司:2310.14986 预打印,arXiv:2310.14986[math.LO](2023)。MSC公司:03D78号 BibTeX公司 引用 \textit{P.Janicki},“重新排序的可计算数字”,预打印,arXiv:2310.14986[math.LO](2023) 全文: arXiv公司 OA许可证
德杰梅尔·埃丁·阿米尔;马修·霍洛普 回注属性和可计算类型。 arXiv:2306.14542 预印本,arXiv:2306.14542[math.GN](2023)。MSC公司:54立方厘米20 55M99型 03D78号 BibTeX公司 引用 \textit{D.E.Amir}和\textit{M.Hoyrup},“回射属性和可计算类型”,Preprint,arXiv:2306.14542[math.GN](2023) 全文: arXiv公司 OA许可证
丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 动力系统的鲁棒不可计算性和稳定性。 arXiv公司:2305.14448 预打印,arXiv:2305.14448[math.LO](2023)。MSC公司:03D78号 37D05型 34E10型 BibTeX公司 引用 \textit{D.S.Graça}和\textit{N.Zhong},“动力系统的鲁棒不可计算性和稳定性”,预打印,arXiv:2305.14448[math.LO](2023) 全文: arXiv公司 OA许可证
阿米尔·本·阿姆拉姆。;克里斯蒂安森,拉尔斯;雅各布·格鲁·西蒙森 关于实数的表示和这种表示之间转换的计算复杂性。 arXiv:2304.07227 预印本,arXiv:2304.07227[math.LO](2023)。MSC公司:03D78号 BibTeX公司 引用 \textit{A.M.Ben-Amram}等人,“关于实数的表示和这种表示之间转换的计算复杂性”,预打印,arXiv:2304.07227[math.LO](2023) 全文: arXiv公司 OA许可证
鲁伯特·Hölzl;菲利普·贾尼基 良性近似和非快速性。 arXiv:2303.11986年 预印本,arXiv:2303.11986[math.LO](2023)。MSC公司:03天32分 03D78号 03层60 BibTeX公司 引用 \textit{R.Hölzl}和\textit{P.Janicki},“良性近似和不可加速性”,预打印,arXiv:2303.11986[math.LO](2023) 全文: arXiv公司 OA许可证
阿萨纳西奥斯·祖瓦拉斯 有限结构上性质的渐近典型度。 arXiv公司:2303.10711 预打印,arXiv:2303.10711[math.LO](2023)。MSC公司:03C98号 03D78号 BibTeX公司 引用 \textit{A.Tzouvaras},“有限结构上性质的渐近典型度”,Preprint,arXiv:2303.10711[math.LO](2023) 全文: arXiv公司 OA许可证
彼得·赫特林;鲁伯特·Hölzl;菲利普·贾尼基 可恢复逼近的数和集合。 arXiv:2301.03285 预打印,arXiv:2301.03285[math.LO](2023)。MSC公司:03D78号 03D25号 03日30分 03天32分 68问题30 BibTeX公司 引用 \textit{P.Hertling}等人,“可恢复的近似数和集合”,预印本,arXiv:2301.03285[math.LO](2023) 全文: 内政部 arXiv公司 OA许可证
阿诺·保利;塞西莉亚·普拉迪奇;乔瓦尼·索尔达 关于加法Ramsey定理的Weihrauch度。 arXiv:2301.02833号 预印本,arXiv:2301.02833[cs.LO](2023)。MSC公司:03B30型 03D78号 03日30分 BibTeX公司 引用 \textit{A.Pauly}等人,“关于加法Ramsey定理的Weihrauch度”,预印本,arXiv:2301.02833[cs.LO](2023) 全文: arXiv公司 OA许可证
伊万·乔治耶夫 标准和对偶Baire序列图的次递归不可比性。 (英语) Zbl 07809185号 上帝。沙发。法国大学。材料通知。 109, 41-55 (2022).MSC公司:03D78号 03D20日 2015年3月1日 03层60 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev},上帝。沙发。法国大学。材料通知。109、41-55(2022;Zbl 07809185) 全文: 链接
彼得鲁斯·波吉特。 欧氏空间中集合的可计算性。 (英语) Zbl 1524.03032号 聚氨基甲酸酯。纯数学硕士。申请。 30,编号3,65-77(2022). 审核人:莱昂·哈克勒路(鲍多尼哈姆) MSC公司:03D78号 03天80 PDF格式BibTeX公司 XML格式引用 \textit{P.H.Potgieter},聚氨酯。纯数学硕士。申请。30,编号3,65--77(2022;Zbl 1524.03032) 全文: 内政部
阿尔贝托·马可尼;曼利奥·瓦伦蒂 Hausdorff和Fourier维数的有效方面。 (英语) 兹比尔1523.03019 可计算性 11,编号3-4,299-333(2022). 审核人:吉多·格拉迪(博洛尼亚) MSC公司:03D78号 28A78号 03D55号 03D45号 28A75号 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone}和\textit{M.Valenti},可计算性11,第3--4299--333号(2022年;Zbl 1523.03019) 全文: 内政部 arXiv公司
罗素·G·米勒。 有效地证明了卢辛定理。 (英语) Zbl 1522.03179号 J.日志。分析。 14,第3号论文,32页(2022年). 审核人:丹尼尔·格拉萨(法罗群岛) MSC公司:03D78号 03天80 03E15年 第26A21页 26甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.G.Miller},J.Log。分析。14,第3号论文,32页(2022年;Zbl 1522.03179) 全文: 内政部 arXiv公司
戴,亚当·R。;罗德·唐尼;琳达·韦斯特里克 不连续函数的三个拓扑可约性。 (英语) Zbl 1521.03131号 事务处理。美国数学。Soc.,爵士。B类 9, 859-895 (2022). 审核人:丹尼尔·格拉萨(法罗群岛) MSC公司:03D78号 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Day}等人,翻译。美国数学。Soc.,爵士。乙9859-895(2022;Zbl 1521.03131) 全文: 内政部 arXiv公司
迪米塔尔·斯科尔德夫 距离的一些方面。 (英语) Zbl 1513.54100号 C.R.学院。膨胀。科学。 75,编号1,3-10(2022). 审核人:彼得·波皮瓦诺夫(索非亚) MSC公司:第54页第35页 26A48号 05C69号 第14页 03C10号机组 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skordev},C.R.学院。膨胀。科学。75,编号1,3--10(2022;Zbl 1513.54100) 全文: 内政部
丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 计算平面流周期轨道的确切数目。 (英语) 兹伯利07576870 事务处理。美国数学。Soc公司。 375,第8号,5491-5538(2022).MSC公司:03D78号 34C07(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{D.S.Graça}和\textit{N.Zhong},翻译。美国数学。Soc.375,No.8,5491--5538(2022;Zbl 07576870) 全文: 内政部 arXiv公司
科尔内夫,R.A。 实数上度量的可计算约简性。 (英语。俄语原件) Zbl 1515.03197号 代数逻辑 61,第1期,第71-78页(2022年); 《代数逻辑学》第61卷第1期第98-110页(2022年)的译文。MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Kornev},代数逻辑61,No.1,71--78(2022;Zbl 1515.03197);代数逻辑61,No.1,98--110(2022)的翻译 全文: 内政部
霍尔格·博切;波尔,沃尔克 关于不可计算性的不可检测性以及数字计算机上电路和波动方程解的不可计算程度。 (英语) Zbl 1505.03093号 IEEE传输。Inf.理论 68,第8号,5561-5578(2022).MSC公司:03D78号 2015年3月1日 94C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{H.Boche}和\textit{V.Pohl},IEEE Trans。《信息论》68,第8期,5561-5578(2022;Zbl 1505.03093) 全文: 内政部 arXiv公司
维克托·塞利瓦诺夫 拟Polish空间中的Q-wadge层次。 (英语) Zbl 07541920号 J.塞姆。日志。 87,第2期,732-757(2022年).MSC公司:2015年3月1日 03D78号 58J45型 6500万06 65平方米 PDF格式BibTeX公司 XML格式引用 \textit{V.Selivanov},J.Symb。日志。87,编号2,732--757(2022;Zbl 07541920) 全文: 内政部 arXiv公司
赫里斯托·甘切夫(Hristo A.Ganchev)。;Iskander Sh.Kalimullin。;约瑟夫·米勒。;玛丽亚·索斯科娃。 枚举度中的结构二分法。 (英语) Zbl 1506.03097号 J.塞姆。日志。 87,第2期,527-544(2022). 审核人:鲁珀特·霍尔兹尔(纽比堡) MSC公司:03日30分 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Ganchev}等人,J.Symb。日志。87,第2号,527--544(2022;Zbl 1506.03097) 全文: 内政部
木原隆树;阿诺·保利 所表示空间的点度谱。 (英语) Zbl 07537759号 论坛数学。西格玛 10,论文编号e31,第27页(2022).MSC公司:03日30分 05年5月54日 03D78号 54英尺45英寸 第46页第10页 PDF格式BibTeX公司 XML格式引用 \textit{T.Kihara}和\textit{A.Pauly},论坛数学。Sigma 10,论文编号e31,27 p.(2022;Zbl 07537759) 全文: 内政部 arXiv公司
粘合剂,伊利亚;阿迪·格卢克萨姆;克里斯托巴尔·罗哈斯;米歇尔·扬波尔斯基 谐波分析中的可计算性。 (英语) Zbl 1514.30009号 已找到。计算。数学。 22,第3期,849-873(2022). 审核人:Guido Gherardi(博洛尼亚) MSC公司:30摄氏度85 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{I.Binder}等人,已找到。计算。数学。22,第3号,849--873(2022;Zbl 1514.30009) 全文: 内政部 arXiv公司
克劳斯·维赫劳赫 可以计算平面曲线的交点。 (英语) Zbl 1508.03077号 可计算性 11,第2期,113-133(2022年). 审核人:丹尼尔·格拉萨(法罗) MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Weihrauch},可计算性11,No.2,113--133(2022;Zbl 1508.03077) 全文: 内政部 arXiv公司
乔丹·米切尔·巴雷特;罗德尼·G·唐尼。;诺姆·格林伯格 二阶算术中的表兄弟引理。 (英语) Zbl 07514667号 程序。美国数学。Soc.,爵士。B类 111-124年9月(2022年).MSC公司:03B30型 35楼03号 03D78号 26A39飞机 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Barrett}等人,Proc。美国数学。Soc.,爵士。B 9,111--124(2022;Zbl 07514667) 全文: 内政部 arXiv公司
马修·霍洛普 表示空间的定点属性。 (英语) Zbl 1508.03076号 Ann.纯粹应用。逻辑 173,第5期,文章ID 103090,29 p.(2022). 审核人:丹尼尔·格拉萨(法罗) MSC公司:03D78号 03E15年 05年5月54日 54H25个 03层60 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup},Ann.纯应用。逻辑173,第5号,文章ID 103090,29页(2022;Zbl 1508.03076) 全文: 内政部 哈尔
艾克·诺依曼 关于单位平方的自同构集的可计算性。 (英语) Zbl 07467469号 西奥。计算。科学。 903, 74-83 (2022).MSC公司:03D78号 68单位05 PDF格式BibTeX公司 XML格式引用 \文本{E.Neumann},Theor。计算。科学。903、74-83(2022年;Zbl 07467469) 全文: 内政部
尤里·马宁;马蒂尔德·马科利 球体填充问题中的可计算性问题。 arXiv公司:2212.05119 预印本,arXiv:2212.05119[cs.IT](2022)。MSC公司:03D78号 94B60码 52C17号 BibTeX公司 引用 \textit{Y.Manin}和\textit{M.Marcolli},“球体填充问题中的可计算性问题”,预打印,arXiv:2212.0519[cs.IT](2022) 全文: arXiv公司 OA许可证
维托里奥·西普里亚尼;阿尔贝托·马科内;曼利奥·瓦伦蒂 \(\boldsymbol{\Pi}_1^1\mathsf级的Weihrauch晶格{-CA}_0\):Cantor-Bendixson定理。 arXiv:2210.15556 预打印,arXiv:2210.15556[math.LO](2022)。MSC公司:03D78号 03E15年 03B30型 03日30分 BibTeX公司 引用 \textit{V.Cipriani}等人,“$\boldsymbol{\Pi}_1^1\mathsf级的Weihrauch晶格{-CA}_0$:Cantor-Bendixson定理“”,预打印,arXiv:2210.15556[math.LO](2022) 全文: arXiv公司 OA许可证
Koh,Heer Tern公司;亚历山大·梅尔尼科夫;Ng,Keng Meng女士 可计算拓扑组。 arXiv公司:2209.04617 预打印,arXiv:2209.04617[math.LO](2022)。MSC公司:03D78号 BibTeX公司 引用 \textit{H.T.Koh}等人,“可计算拓扑群”,预打印,arXiv:2209.04617[math.LO](2022) 全文: arXiv公司 OA许可证
德杰梅尔·埃丁·阿米尔;马修·霍洛普 有限单形复形的可计算性。 arXiv公司:2202.04945 预打印,arXiv:22022.04945[math.LO](2022)。MSC公司:03D78号 55单位10 54C20个 54 C55 BibTeX公司 引用 \textit{D.E.Amir}和\textit{M.Hoyrup},“有限单形复数的可计算性”,预印本,arXiv:22022.04945[math.LO](2022) 全文: arXiv公司 OA许可证
菲利普斯·帕帕扬诺普洛斯 现实计算的非现实模型:理想化如何帮助表示数学结构和发现科学计算。 (英语) Zbl 1529.03073号 合成 199,编号1-2,249-283(2021).MSC公司:03A05号 00安培71 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{P.Papayannopoulos},合成199,编号1--2,249--283(2021;Zbl 1529.03073) 全文: 内政部 链接
迪奥戈·波萨;杰弗里·祖克 跟踪GPAC生成函数的可计算性。 (英语) Zbl 1509.03142号 J.日志。计算。 31,第1号,326-346(2021).MSC公司:03D78号 04年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Poças}和\textit{J.Zucker},J.Log。计算。31,编号1,326--346(2021;Zbl 1509.03142) 全文: 内政部
瓦斯科·布拉特卡;吉多省盖拉尔迪;阿诺·保利 可计算分析中的Weihrauch复杂性。 (英语) Zbl 07464650号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,367-417 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}等人,in:分析中的可计算性和复杂性手册。查姆:斯普林格。367--417(2021年;Zbl 07464650) 全文: 内政部 arXiv公司 链接
汉内斯·迪纳;石原、Hajime 主教式的构造性逆向数学。 (英语) Zbl 07464649号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,347-365(2021年)。MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{H.Diener}和\textit{H.Ishihara},in:分析中的可计算性和复杂性手册。查姆:斯普林格。347--365(2021;Zbl 07464649) 全文: 内政部
马蒂亚斯·施罗德 可接受地表示空间和qcb-spaces。 (英语) Zbl 07464648号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,305-346 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Schröder},in:分析中的可计算性和复杂性手册。查姆:斯普林格。305-346(2021;Zbl 07464648) 全文: 内政部 arXiv公司
杰克·H·卢茨。;埃尔维拉·马约多莫 几何测度理论中的算法分形维数。 (英语) Zbl 07464646号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,271-302 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Lutz}和\textit{E.Mayordomo},in:分析中的可计算性和复杂性手册。查姆:斯普林格。271--302(2021;Zbl 07464646) 全文: 内政部 arXiv公司
马修·霍洛普;杰森·鲁特 可计算测度理论和算法随机性。 (英语) Zbl 07464645号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,227-270 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hoyrup}和\textit{J.Rute},in:分析中的可计算性和复杂性手册。查姆:斯普林格。227--270(2021;Zbl 07464645) 全文: 内政部 哈尔
奥利维尔·伯内兹;阿默里·波利 模拟计算模型综述。 (英语) Zbl 07464644号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,173-226 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{O.Bournez}和\textit{A.Pouly},in:分析中的可计算性和复杂性手册。查姆:斯普林格。173-226(2021;Zbl 07464644) 全文: 内政部 arXiv公司
克里斯托巴尔·罗哈斯;米歇尔·扬波尔斯基 可计算几何复杂分析和复杂动力学。 (英语) Zbl 07464643号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,143-172 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{C.Rojas}和\textit{M.Yampolsky},in:分析中的可计算性和复杂性手册。查姆:斯普林格。143--172(2021;Zbl 07464643) 全文: 内政部 arXiv公司
瓦伦丁五世安德列夫。;蒂莫西·麦克尼科尔。 可计算复杂分析。 (英语) Zbl 1495.03060号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,101-140 (2021). 审核人:丹尼尔·格拉萨(法罗) MSC公司:03D78号 30C99号 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Andreev}和\textit{T.H.McNicholl},in:分析中的可计算性和复杂性手册。查姆:斯普林格。101-140(2021;Zbl 1495.03060) 全文: 内政部
丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 微分方程的可计算性。 (英语) Zbl 07464641号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,71-99 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Graça}和\textit{N.Zhong},in:分析中的可计算性和复杂性手册。查姆:斯普林格。71-99(2021;Zbl 07464641) 全文: 内政部 链接
茨万科伊尔贾佐维奇;木原隆树 度量空间子集的可计算性。 (英语) Zbl 07464640号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,29-69(2021年)。MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Iljazović}和\textit{T.Kihara},in:分析中的可计算性和复杂性手册。查姆:斯普林格。29-69(2021;Zbl 07464640) 全文: 内政部
罗伯特·雷廷格;郑西忠 实数的可计算性。 (英语) Zbl 07464639号 Brattka,Vasco(编辑)等人,《分析中的可计算性和复杂性手册》。查姆:斯普林格。理论应用。计算。,3-28 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{R.Retinger}和\textit{X.Zheng},in:分析中的可计算性和复杂性手册。查姆:斯普林格。3-28(2021;Zbl 07464639) 全文: 内政部
安德烈·涅斯;马库斯·特里普特(Marcus A.Triplett)。;横山,Keita 乔丹和勒贝格定理的逆向数学。 (英语) Zbl 07457794号 J.塞姆。日志。 86,第4期,1657-1675(2021).MSC公司:03B30型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Nies}等人,J.Symb。日志。86,第4号,1657--1675(2021;Zbl 07457794) 全文: 内政部 arXiv公司
丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 单位球上双曲平衡点和可逆零点的集合是可计算的。 (英语) Zbl 07429274号 西奥。计算。科学。 895, 48-54 (2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.S.Graça}和\textit{N.Zhong},Theor。计算。科学。895,48-54(2021;Zbl 07429274) 全文: 内政部 arXiv公司
吴君乐;阿诺·保利;曼利奥·瓦伦蒂 通过建立的线性顺序寻找降序序列。 (英语) Zbl 07415227号 J.塞姆。日志。 86,编号2,817-854(2021).MSC公司:03日30分 03D78号 06A75号 PDF格式BibTeX公司 XML格式引用 \textit{J.Le Goh}等人,J.Symb。日志。86,编号2,817--854(2021;Zbl 07415227) 全文: 内政部 arXiv公司
理查德·怀曼 物理计算复杂性和一阶逻辑。 (英语) Zbl 1520.03010号 芬丹。通知。 181,编号2-3129-161(2021).MSC公司:03天10分 2015年3月1日 03D78号 2015年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \发短信{R.Whyman},Fundam。通知。181,编号2--3,129-161(2021;Zbl 1520.03010) 全文: 内政部
斯普林,迪特 连续对象计算:统一共归纳方法。 (英语) 兹比尔07408499 数学。结构。计算。科学。 31,第2期,144-192(2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},数学。结构。计算。科学。31,第2号,144--192(2021;Zbl 07408499) 全文: 内政部 arXiv公司
科尔内夫,R.A。 可计算度量度的半格。 (英语。俄语原件) Zbl 07401177号 同胞。数学。J。 62,第5期,822-841(2021); 来自Sib的翻译。材料Zh。62,第5期,1013-1038(2021)。MSC公司:03天45分 03D78号 第54页第35页 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Kornev},西布。数学。J.62,No.5,822--841(2021;Zbl 07401177);来自Sib的翻译。材料Zh。62,第5号,1013--1038(2021) 全文: 内政部
Tyulenev,A.V.公司。 常微分方程组指数的不可压缩性示例。 (英语。俄语原件) Zbl 07392395号 莫斯克。大学数学。牛市。 76,编号2,53-59(2021); 维斯特翻译。莫斯科。州立大学。I 76,第2期,第10-15页(2021年)。MSC公司:34A30型 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Tyulenev},莫斯克。大学数学。牛市。76,No.2,53-59(2021;Zbl 07392395);维斯特翻译。莫斯科。州立大学。I 76,编号2,10-15(2021) 全文: 内政部
康拉德·伯尼克;Iljazović,兹沃科 密集的可计算性结构。 (英语) Zbl 07371884号 J.复杂性 65,文章ID 101543,24 p.(2021).MSC公司:03D78号 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{K.Burnik}和\textit{Z.Iljazović},J.复杂性65,文章ID 101543,24 p.(2021;Zbl 07371884) 全文: 内政部
阿尔贝托·马可尼;曼利奥·瓦伦蒂 Weihrauch格中的开放和clopen Ramsey定理。 (英语) 兹比尔1529.03225 J.塞姆。日志。 86,编号1,316-351(2021).MSC公司:03D78号 03日30分 03B30型 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone}和\textit{M.Valenti},J.Symb。日志。86,编号1,316-351(2021;Zbl 1529.03225) 全文: 内政部 arXiv公司
斯维特拉娜·塞利瓦诺娃;维克托·塞利瓦诺夫 保证精度的对称双曲偏微分方程组计算解的位复杂度。 (英语) Zbl 07363329号 可计算性 10,第2期,123-140(2021年).MSC公司:03D78号 65年第68季度 35L45英寸 6500万06 65平方米 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{S.Selivanova}和\textit{V.Selivanov},可计算性10,第2号,123-140(2021;Zbl 07363329) 全文: 内政部
米查尔·科内奇;艾克·诺依曼 可行近似函数的表示和评估策略。 (英语) Zbl 1493.03006号 可计算性 10,编号1,63-89(2021). 审核人:Guido Gherardi(博洛尼亚) MSC公司:03D78号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koneční}和\textit{E.Neumann},可计算性10,第1期,63-89(2021;Zbl 1493.03006) 全文: 内政部 arXiv公司
马提亚·采拉;茨万科伊尔贾佐维奇 可链式连续统乘积的可计算性。 (英语) Zbl 07363127号 理论计算。系统。 65,编号2,410-427(2021).MSC公司:03D78号 03层60 2015财年54 PDF格式BibTeX公司 XML格式引用 \textit{M.采拉}和\textit{Z.伊尔贾佐维奇},理论计算。系统。65,第2号,410-427(2021;Zbl 07363127) 全文: 内政部
鲁斯兰·阿列克桑德罗维奇·科尔内夫 高于标准实际度量的可计算度量。 (英语) Zbl 07360156号 同胞。È勒克特隆。Mat.Izv公司。 18,第1号,377-392(2021).MSC公司:03D78号 03D45号 第54页第35页 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Kornev},西布。È勒克特隆。Mat.Izv公司。18,编号1377-392(2021;兹bl 07360156) 全文: 内政部
瓦斯科·布拉特卡(编辑);彼得·赫特林(编辑) 分析中的可计算性和复杂性手册。 (英语) Zbl 1472.03001号 可计算性理论及其应用查姆:施普林格(ISBN 978-3-030-59233-2/hbk;978-3-0.30-59236-3/pbk;979-3-030-59/234-9/电子书)。xxv,第427页。(2021).MSC公司:03-00 03D78号 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}(编辑)和\textit{P.Hertling}(编),分析中的可计算性和复杂性手册。查姆:施普林格(2021;Zbl 1472.03001) 全文: 内政部
弗洛里安·斯坦伯格;洛朗·塞利;霍尔格·蒂斯 可计算分析和连续性概念Coq公司. (英语) Zbl 07350782号 日志。方法计算。科学。 17,第2号,第16号文件,第43页(2021).MSC公司:03D78号 03B35型 第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{F.Steinberg}等人,Log。方法计算。科学。17,第2号,第16号论文,43页(2021;Zbl 07350782) 全文: arXiv公司 链接
赫尔穆特·施维赫滕贝格;弗朗齐斯科斯·威斯内特 精确实数运算的逻辑。 (英语) Zbl 07350773号 日志。方法计算。科学。 17,第2号,第7号论文,27页(2021年).MSC公司:03D78号 03层60 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg}和\textit{F.Wiesnet},日志。方法计算。科学。17,第2号,第7号论文,27页(2021;Zbl 07350773) 全文: arXiv公司 链接
Ko、Ker-I;吴丽东 关于连续单向函数。 (英语) Zbl 1498.03096号 西奥。计算。科学。 852, 1-17 (2021).MSC公司:03D78号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.-I Ko}和\textit{L.Wu},Theor。计算。科学。852,1-17(2021;Zbl 1498.03096) 全文: 内政部
瓦斯科·布拉特卡;吉多·格拉迪 完成选择。 (英语) Zbl 1462.03019号 Ann.纯粹应用。逻辑 172,第3号,文章ID 102914,31 p.(2021). 审核人:杰弗里·赫斯特(布恩) MSC公司:03D78号 03B30型 03日30分 03层60 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{V.Brattka}和\textit{G.Gherardi},Ann.Pure Appl。逻辑172,第3号,文章ID 102914,第31页(2021;Zbl 1462.03019) 全文: 内政部 arXiv公司
乌尔里希·伯杰;Hideki Tsuiki 直觉主义的定点逻辑。 (英语) Zbl 1498.03065号 Ann.纯粹应用。逻辑 172,第3号,文章ID 102903,57 p.(2021).MSC公司:03B70号 03B20型 03B40型 03日70 03D78号 03层60 06立方厘米35 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki},Ann.Pure Appl。逻辑172,第3号,文章ID 102903,57页(2021;Zbl 1498.03065) 全文: 内政部 arXiv公司
伊万·乔治耶夫;克里斯蒂安森,拉尔斯;弗兰克·斯蒂芬 具有惊人复杂性的可计算无理数。 (英语) Zbl 1481.03041号 Ann.纯粹应用。逻辑 172,第2号,文章ID 102893,30页(2021). 审核人:马蒂奥·比安切蒂(圣母院) MSC公司:03D78号 03D20日 03层60 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{I.Georgiev}等人,Ann.Pure Appl。逻辑172,第2号,文章ID 102893,30页(2021;Zbl 1481.03041) 全文: 内政部 链接
丹尼尔·格拉萨(Daniel S.Graça)。;钟,宁 不可计算性的稳健性。 arXiv:2109.15080 预打印,arXiv:2109.15080[math.LO](2021)。MSC公司:03D78号 03天35分 BibTeX公司 引用 \textit{D.S.Graça}和\textit{N.Zhong},“非计算性的稳健性”,预打印,arXiv:2109.15080[math.LO](2021) 全文: arXiv公司 OA许可证
维克托·切尔诺夫 构造实数区间的连通性类型。 arXiv:2108.1189 预印本,arXiv:2108.1189[math.LO](2021)。MSC公司:03D78号 03层60 54个B05 BibTeX公司 引用 \textit{V.Chernov},“构造实数区间的连通性类型”,Preprint,arXiv:2108.1189[math.LO](2021) 全文: arXiv公司 OA许可证
布鲁诺·斯卡佩里尼 递归可枚举集和傅里叶级数。 (英语) Zbl 1496.03176号 de Barros,J.Acacio(编辑)等人,《真正的博学者》。向弗朗西斯科·安东尼奥·多里亚致敬。基于2018年12月在巴西里约热内卢举行的会议。[s.l.]:学院出版物。阿卡德。胸罩。菲洛斯。2, 217-229 (2020).MSC公司:03D78号 03D25号 42A38型 PDF格式BibTeX公司 XML格式引用 \textit{B.Scarpellini},阿卡德。胸罩。菲洛斯。227--229(2020年;Zbl 1496.03176)
迪米特·斯科尔德夫 多表示空间的Moschovakis扩展。 (英语) Zbl 1505.03094号 阿德里安·雷祖什(编辑),《当代逻辑与计算》。伦敦:学院出版物。朗诗。日志。1, 690-704 (2020).MSC公司:03D78号 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{D.Skordev},陆地。日志。1690--704(2020年;Zbl 1505.03094)
克劳斯·米尔 亚有限模型理论和实数计算。 (英语) Zbl 1508.68127号 阿德里安·雷祖什(编辑),《当代逻辑与计算》。伦敦:学院出版物。朗诗。日志。1, 664-688 (2020).MSC公司:19年第68季度 03C13号机组 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meer},朗诗出版社。日志。1664--688(2020年;Zbl 1508.68127)