科恩、利隆 用不可计算的形式进行计算。 (英语) Zbl 07495162号 De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12813, 135-145 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Cohen},莱克特。注释计算。科学。12813、135——145(2021;Zbl 07495162) 全文: 内政部
文森特·拉里;马克·比克福德;科恩、利隆;罗伯特·康斯特布尔。 棒材归纳法符合构造型理论。 (英语) 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) 全文: 内政部