戴尔·米勒;亚历山大·维埃尔 当等式是逻辑连接词时,证明搜索的不可判定性。 (英语) Zbl 07517440号 安。数学。Artif公司。智力。 90,第5期,523-535(2022).MSC公司:03财年03 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}和\textit{A.Viel},Ann.数学。Artif公司。智力。90,编号5,523--535(2022;Zbl 07517440) 全文: 内政部 哈尔
玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔;何塞·梅塞盖尔;朱莉娅·萨皮娜 重温了有序等式推广算法。 (英语) Zbl 07517439号 安。数学。Artif公司。智力。 90,第5期,499-522(2022).MSC公司:68N17号 68甲18 2012年第68季度 60年第68季度 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,《数学年鉴》。Artif公司。智力。90,第5号,499--522(2022;Zbl 07517439) 全文: 内政部 链接
菲利普·巴尔比亚尼;乔丹·根瑟;玛丽亚姆·罗斯塔米吉夫;廷切夫、廷科 关于\(\mathbf{K}+\square\square\bot\)的统一类型。 (英语) Zbl 07517438号 安。数学。Artif公司。智力。 90,第5期,481-497(2022).MSC公司:03B45号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}等人,《数学年鉴》。Artif公司。智力。90,编号5,481--497(2022;Zbl 07517438) 全文: 内政部
托梅尔·利巴尔;戴尔·米勒 函数作为构造函数的高阶统一:扩展模式统一。 (英语) Zbl 07517437号 安。数学。Artif公司。智力。 90,5号,455-479(2022).MSC公司:68次发射 PDF格式BibTeX公司 XML格式引用 \textit{T.Libal}和\textit{D.Miller},Ann.数学。Artif公司。智力。90,编号5,455--479(2022;Zbl 07517437) 全文: 内政部 OA许可证
特默尔库西亚(编辑);安德鲁·马歇尔。(编辑) 前言。 (英语) Zbl 1485.00031号 安。数学。Artif公司。智力。 90,5号,453-454(2022).MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{T.Kutsia}(编辑)和\textit{A.M.Marshall}(编辑),Ann.Math。Artif公司。智力。90,编号5,453--454(2022;Zbl 1485.00031) 全文: 内政部