莫里斯·波泽 关系结构的良好拟序性和可嵌入性。 (英语) Zbl 07839452号 订单 第1期第41页,183-278页(2024年).MSC公司:2009年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Pouzet},订单41,编号1,183--278(2024;Zbl 07839452) 全文: DOI程序
克劳德·拉弗拉姆;莫里斯·波泽;诺伯特·绍尔;罗伯特·伍德罗 \(\aleph_0\)范畴关系结构的兄弟姐妹。 (英语) Zbl 1477.03129号 控制离散数学。 16,第2号,90-127(2021).MSC公司:03C35号 03C15号 PDF格式BibTeX公司 XML格式引用 \textit{C.Laflame}等人,《离散数学》。16,第2号,90-127(2021;Zbl 1477.03129) 全文: arXiv公司 链接
保罗·埃利斯;阿提拉·乔奥;Dániel T.Soukup。 通过无限有向图中的循环反转减少二色数。 (英语) Zbl 1458.05089号 Eur.J.库姆。 90,文章ID 103196,16 p.(2020).MSC公司:05C20号 05C15号 05C63号 05C38号 PDF格式BibTeX公司 XML格式引用 \textit{P.Ellis}等人,《欧洲期刊》Comb。90,文章ID 103196,16 p.(2020;Zbl 1458.05089) 全文: DOI程序 arXiv公司 OA许可证
艾哈德·艾钦格;弗洛里安·艾钦格 Dickson引理、Higman定理及其他:序理论中一些基本结果的综述。 (英语) Zbl 1484.06004号 博览会。数学。 38,第4期,537-547(2020).MSC公司:06年06月06日 04年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Aichinger}和\textit{F.Aichinger},博览会。数学。38,第4号,537--547(2020;Zbl 1484.06004) 全文: DOI程序 arXiv公司
拉斐尔·卡罗伊;佩奎诺特,Yann 好吧,更好,介于两者之间。 (英语) Zbl 1481.03047号 Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 1-27 (2020).MSC公司:03E15年 06年05月 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{R.Carroy}和\textit{Y.Pequignot},趋势日志。螺柱日志。伦敦银行同业拆借利率。53、1-27(2020年;Zbl 1481.03047) 全文: DOI程序 链接
格拉泽戈兹·班塞雷克;Czesław拜林斯基;亚当·格拉博夫斯基;阿图尔·科尔尼·奥维茨;罗曼·马图舍夫斯基;亚当·纳莫维奇;佩克,卡洛尔 Mizar数学库在Mizar交互式证明开发中的作用。 (英语) Zbl 1433.68530号 J.汽车。推理 61号1-4、9-32(2018).MSC公司:68伏15 68V20型 68伏30 PDF格式BibTeX公司 XML格式引用 \textit{G.Bancerek}等人,J.Autom。推理61,No.1--4,9-32(2018;Zbl 1433.68530) 全文: DOI程序 OA许可证
克里斯蒂安·约瑟夫·阿托马雷 关于串并联偏序集下理想的结构描述。 (英语) Zbl 1301.06003号 订单 31,3号,307-323(2014).MSC公司:06A07年 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Altomare},第31号令,第3号,307--323(2014;Zbl 1301.06003) 全文: DOI程序 arXiv公司
让·达利高尔特;迈克尔·拉奥;圣埃芬托马斯 relabel函数的Well拟阶。 (英语) Zbl 1209.05210号 订单 27,第3期,301-315(2010).MSC公司:05C78号 PDF格式BibTeX公司 XML格式引用 \textit{J.Daligault}等人,第27号令,第3号,301-315(2010;Zbl 1209.05210) 全文: DOI程序
亚当·纳莫维奇 MIZAR中最新数学结果的形式化示例。 (英语) Zbl 1107.68100号 J.应用。日志。 4,第4期,396-413(2006).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Naumowicz},J.应用。日志。4,第4号,396--413(2006;Zbl 1107.68100) 全文: DOI程序