交叉引用引用
以下出版物引用了这篇文章。此列表是根据提供的数据生成的交叉参考.
奥拉夫·米勒1998高阶逻辑中的定理证明.第1479卷，问题，第页。331
约翰·马修斯1999高阶逻辑中的定理证明.第1690卷，问题，第页。73
萨瓦·克里斯蒂奇和约翰·马修斯2003高阶逻辑中的定理证明.第2758卷，问题，第页。253
大卫·阿斯皮纳尔2003代数发展技术的最新趋势.第2755卷，问题，第页。129
约翰·朗利和兰迪·波拉克2004高阶逻辑中的定理证明.第3223卷，问题，第页。201
布赖恩·霍夫曼约翰·马修斯和怀特，彼得2005高阶逻辑中的定理证明.第3603卷，问题，第页。147
托马斯·梅耶和沃尔夫，伯克哈特2006校对和程序的类型.第3839卷，问题，第页。201
阿希姆·D·布鲁克。和沃尔夫，伯克哈特2008面向对象数据模型在hol中的可扩展编码.自动推理杂志，第41卷，发布。3-4中，第页。219
阿希姆·D·布鲁克。和沃尔夫，伯克哈特2008ECOOP 2008–面向对象编程.第5142卷，问题，第页。438
斯科特·欧文斯和康拉德·斯林德2008使功能程序适应高阶逻辑.高阶和符号计算，第21卷，发布。4中，第页。377
伊夫·贝托特和弗拉基米尔·科门丹斯基2008Coq中的不动点语义和部分递归.第页。89
雷吉斯·贾纳斯，亚恩和弗朗索瓦·波蒂埃2008程序构造数学.第5133卷，问题，第页。305
迈克尔·巴克斯马提亚斯·伯格和多米尼克·安鲁2008编程、人工智能和推理逻辑.第5330卷，问题，第页。353
卡斯滕·瓦明和拉尔斯·比克达尔2008Isabelle/HOLCF中的高阶分离逻辑.理论计算机科学电子笔记，第218卷，问题，第页。371
马卡里乌斯·温泽尔劳伦斯·C·鲍尔森。和托比亚斯·尼普科2008高阶逻辑中的定理证明.第5170卷，问题，第页。33
卢卡斯布尔瓦恩亚历山大·克劳斯弗洛里安·哈夫特曼勒文特·埃尔科克和约翰·马修斯2008高阶逻辑中的定理证明.第5170卷，问题，第页。134
伊夫·贝托特2009从语义学到计算机科学.第页。337
布赖恩·霍夫曼2009高阶逻辑中的定理证明.第5674卷，问题，第页。260
尼克·本顿安德鲁·肯尼迪和卡斯滕·瓦明2009高阶逻辑中的定理证明.第5674卷，问题，第页。115
丹尼尔森，尼尔斯·安德斯和托尔斯滕·阿滕柯奇2010程序构造数学.第6120卷，问题，第页。100
