多哥卡里莫夫;Edon Kelmendi;约尔·瓦克宁;詹姆斯·沃雷尔 离散线性动力系统的决定因素是什么？ （英语） Zbl 1528.68228号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 21-38 (2022).MSC公司：60年第68季度 03B25号 11层37 37B10号机组 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Karimov}等人，Lect。注释计算。科学。13660，21-38（2022；Zbl 1528.68228） 全文： DOI程序 arXiv公司
阿西亚·马布比;西布特·皮诺特，托马斯 （zeta（3））非理性的形式证明。 （英语） Zbl 1509.68311号 日志。方法计算。科学。 17，第1号，第16号论文，第25页（2021年）.MSC公司：68伏15 11J72型 2006年11月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Mahboubi}和\textit{T.Sibut-Pinote}，日志。方法计算。科学。17，第1号，第16号论文，第25页（2021；Zbl 1509.68311） 全文： arXiv公司 链接
菲利普·海罗尼米 标量乘法何时可以判定？ （英语） Zbl 1446.03029号 Ann.纯粹应用。逻辑 170，第10号，1162-1175（2019）. 审核人：赛义德·萨利希（大不里士） MSC公司：03B25号 03C64号 03C60型 05年3月 11A67号 2005年11月 PDF格式BibTeX公司 XML格式引用 \textit{P.Hieronymi}，Ann.《纯粹的应用》。逻辑170，No.10，1162--1175（2019；Zbl 1446.03029） 全文： DOI程序 arXiv公司
陈兴伦;迈克尔·诺里什 校对珠：用三角形限定最不常见的倍数。 （英语） Zbl 1468.68284号 J.汽车。推理 62，第2期，171-192（2019）.MSC公司：68伏15 2005年11月 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{H.-L.Chan}和textit{M.Norrish}，J.Autom。推理62，No.2，171--192（2019；Zbl 1468.68284） 全文： DOI程序
奥利维尔卡顿;巴勃罗·阿里尔（Pablo Ariel）继承人 规范性和双向自动机。 （英语） Zbl 1309.68116号 Inf.计算。 241, 264-276 (2015).MSC公司：65年第68季度 11路16号 PDF格式BibTeX公司 XML格式引用 \textit{O.Carton}和\textit{P.A.Heiber}，Inf.Compute。241264--276（2015；Zbl 1309.68116） 全文： DOI程序
安德烈亚·阿斯佩蒂;威尔默·里奇奥蒂 关于Chebyshev在数论中某些结果的形式化。 （英语） Zbl 1246.03026号 Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿549719-31（2009）。MSC公司：03B35型 11A41号机组 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{W.Ricciotti}，莱克特。注释计算。科学。5497，19-31（2009；Zbl 1246.03026） 全文： DOI程序
J·布希。 虚赋范核素二次整数环中决策问题的下界。 （英语） Zbl 1222.11148号 J.塞姆。计算。 44，第6863-699号（2009年）. 审核人：迈克尔·波赫斯特（杜塞尔多夫） MSC公司：2016年11月 11年40 11兰特 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Busch}，J.Symb。计算。44，第6号，683--699（2009；Zbl 1222.11148） 全文： DOI程序