文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 （英语） Zbl 1427.03066号 美国临床医学杂志 66，第2号，第13条，第35页（2019年）.MSC公司：03楼50 03B38型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，J.ACM 66，第2号，第13条，第35页（2019年；Zbl 1427.03066） 全文： 内政部
文森特·拉里;科恩、利隆;马克·比克福德 由单调库支持的验证定理证明器后端。 （英语） Zbl 1409.68262号 Barthe，Gilles（编辑）等人，LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 564-582 (2018).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，EPiC Ser。计算。57、564--582（2018年；Zbl 1409.68262） 全文： 内政部
文森特·拉里;马克·比克福德 使用命名异常验证Brouwer的数字连续性原则。 （英语） Zbl 1390.68584号 数学。结构。计算。科学。 28，第6号，942-990（2018）.MSC公司：68吨15 03B35型 03楼55 03层60 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}和\textit{M.Bickford}，数学。结构。计算。科学。28，第6号，942--990（2018；Zbl 1390.68584） 全文： 内政部
文森特·拉里;马克·比克福德;罗伯特·康斯特布尔。 钢筋感应。好的，坏的，丑陋的。 （英语） Zbl 1457.68298号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第14条，第12页（2017年）。MSC公司：68伏15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第14条，第12页（2017；Zbl 1457.68298） 全文： 链接
文森特·拉里 锻炼Nuprl的开放性。 （英语） Zbl 1434.68644号 Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 18-27 (2016).MSC公司：68伏15 03B35型 03E25型 03层60 68版本20 PDF格式BibTeX公司 XML格式引用 \textit{V.Rahli}，莱克特。注释计算。科学。9725，18-27（2016；Zbl 1434.68644） 全文： 内政部 链接
阿南德，阿比舍克;文森特·拉里 面向正式验证的证明助理。 （英语） Zbl 1416.68146号 Klein，Gerwin（编辑）等，交互式定理证明。2014年7月14日至17日在奥地利维也纳举行的第五届国际会议，ITP 2014，作为维也纳逻辑夏季的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8558, 27-44 (2014).MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Anand}和\textit{V.Rahli}，莱克特。注释计算。科学。8558，27-44（2014；Zbl 1416.68146） 全文： 内政部 链接