肯塔基州多弗利;皮埃尔·甘蒂;尼古拉斯·马佐奇 基于FORQ的语言包含形式测试。 （英语） Zbl 1514.68098号 Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 109-129 (2022).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Doveri}等人，Lect。注释计算。科学。13372、109--129（2022年；Zbl 1514.68098） 全文： 内政部 arXiv公司 OA许可证
基韦利多佛里;皮埃尔·甘蒂;弗朗西斯科·帕罗里尼;弗朗西斯科·兰扎托 基于良好拟序的Büchi自动机包含性检验。 （英语） Zbl 07730605号 Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。203，第3条，22 p.（2021）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Doveri}等人，LIPIcs——莱布尼茨国际程序。通知。203，第3条，22 p.（2021；Zbl 07730605） 全文： 内政部
吴君乐;阿诺·保利;曼利奥·瓦伦蒂 通过不成立的线性次序寻找递减序列。 （英语） Zbl 07415227号 J.塞姆。日志。 86，编号2，817-854（2021）.MSC公司：03D78号 03B30型 03日30分 PDF格式BibTeX公司 XML格式引用 \textit{J.Le Goh}等人，J.Symb。日志。86，编号21817-854（2021；兹bl 07415227） 全文： 内政部 arXiv公司
小川，水井裕人;维克托·塞利瓦诺夫 关于与单调WQO相关的正则语言类。 （英语） Zbl 1434.68280号 Hospodár，Michal（编辑）等人，《形式系统的描述复杂性》。第21届IFIP工作组1.02国际会议，2019年7月17日至19日，斯洛伐克科希策，DCFS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11612, 235-247 (2019).MSC公司：65年第68季度 03B25号 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.Ogawa}和\textit{V.Selivanov}，Lect。注释计算。科学。11612，235-247（2019；Zbl 1434.68280） 全文： 内政部 哈尔
莫尼卡·塞森伯格 Nash-Williams对Higman引理的最小坏序列论证的归纳版本。 （英语） Zbl 1054.03042号 Callaghan，Paul（编辑）等人，《证明和程序的类型》。2000年12月8日至12日，英国达勒姆，TYPES 2000国际研讨会。精选论文。柏林：施普林格出版社（ISBN 3-540-43287-6）。莱克特。注释计算。科学。2277, 233-242 (2002).MSC公司：65楼03号 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Seisenberger}，莱克特。注释计算。科学。2277233--242（2002年；Zbl 1054.03042） 全文： 链接