摘要
摘要
计轴评估器+02 Alpunte M，Comini M，Escobar S，Falaschi M，Lucas S（2002）功能程序的抽象诊断。 摘自：第十二届基于逻辑的程序合成和转换国际研讨会论文集（LOPSTR 2002），LNCS 2664。 柏林施普林格，第1-16页 谷歌学者 
AEH00型 需要的缩小战略 美国临床医学杂志 2000 47 4 776 822 1866177 10.1145/347476.347484 1327.68141 谷歌学者 数字图书馆 
空气处理10 功能逻辑编程 通用ACM 2010 53 4 74 85 10.1145/1721654.1721675 谷歌学者 数字图书馆 啊12 Antoy S，Hanus M（2012），功能逻辑编程合同和规范。 摘自：第14届声明性语言实用方面国际研讨会论文集（PADL 2012），LNCS 7149。 柏林施普林格，第33-47页 谷歌学者 AH14型 Antoy S，Hanus M（2014）库里没有成功。 摘自：第23届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2014）。 CEUR研讨会记录，第1335卷。 CEUR-WS.org，第140–154页 谷歌学者 AHH+05 声明性多仿射语言的操作语义 J Symb计算机 2005 40 1 795 829 2169359 2016年10月10日/j.jsc.2004.01.01 1129.68042 谷歌学者 数字图书馆 蚂蚁01 Antoy S（2001）基于构造函数的条件收缩。 摘自：第三届ACM SIGPLAN国际声明性编程原则和实践会议记录（PPDP 2001）。 纽约ACM出版社，199-206页 谷歌学者 蚂蚁10 窄化编程 J符号计算 2010 45 5 501 522 2608611 10.1016/j.jsc.2010.01.006 1192.68135 谷歌学者 数字图书馆 AGL94型 Arenas-Sánchez P，Gil-Luezas A，López-Fraguas FJ（1994），结合惰性狭窄和疾病约束。 摘自：第六届编程语言实现和逻辑编程国际研讨会论文集，LNCS 844。 柏林施普林格，第385-399页 谷歌学者 BE95标准 Bert D，Echahed R（1995）条件项重写系统的抽象。 1995年国际逻辑编程研讨会论文集。 麻省理工学院出版社，马萨诸塞州，第147–161页 谷歌学者 比利时Ø93 Bert D，Echahed R，Østvold M（1993）抽象重写。 摘自：第三届静态分析国际研讨会论文集，LNCS 724。 柏林施普林格，第178-192页 谷歌学者 制动马力11 Braßel B，Hanus M，Peemöller B，Reck F（2011）KiCS2:从Curry到Haskell的新编译器。 摘自：第20届函数和（约束）逻辑编程国际研讨会论文集（WFLP 2011），LNCS 6816。 柏林施普林格，第1-18页 谷歌学者 BHPR13型 Braßel B，Hanus M，Peemöller B，Reck F（2013）《在函数语言中实现等式约束》。 摘自：第十五届声明性语言实用方面国际研讨会论文集（PADL 2013），LNCS 7752。 柏林施普林格，第125-140页 谷歌学者 CC77号机组 Cousot P，Cousot R（1977）摘要解释：通过构造不动点的近似，用于程序静态分析的统一格模型。 摘自：第四届ACM编程语言原理研讨会论文集，第238-252页 谷歌学者 库97 Cousot P（1997）类型作为抽象解释。 摘自：第24届ACM编程语言原理研讨会会议记录（巴黎），第316-331页 谷歌学者 DM82型 Damas L，Milner R（1982）功能程序的主要类型模式。 摘自：第九届编程语言原理年度研讨会论文集，第207-212页 谷歌学者 HAB+16号机组 Hanus M、Antoy S、Braßel B、Engelke M、Höppner K、Koj J、Niederau P、Sadre R、Steiner F（2016）PAKCS：波特兰-亚琛-基尔-咖喱体系。 http://www.informatik.uni-kiel.de/ ~块/ 谷歌学者 汉97 Hanus M（1997）用单一计算模型教授函数和逻辑编程。 摘自：第九届编程语言、实现、逻辑和程序国际研讨会论文集（PLILP’97），LNCS 1292。 柏林施普林格，第335-350页 谷歌学者 汉01 Hanus M（2001）Curry中的高级服务器端web脚本。 摘自：1990年LNCS第三届声明性语言实践方面国际研讨会论文集（PADL'01）。 柏林施普林格，第76-92页 谷歌学者 汉07 Hanus M（2007）《将声明性编程引入网络：将Curry转换为JavaScript》。 摘自：第九届ACM SIGPLAN声明式编程原理与实践国际会议记录（PPDP'07）。 纽约ACM出版社，第155-166页 谷歌学者 汉08 Hanus M（2008）功能逻辑程序的调用模式分析。 摘自：第十届ACM SIGPLAN声明式编程原理与实践国际会议记录（PPDP'08）。 纽约ACM出版社，第67–78页 谷歌学者 汉12 Hanus M（ed）（2012）Curry:一种集成函数逻辑语言（版本0.8.3）。 http://www.curry-language.org 谷歌学者 汉13 Hanus M（2013）《函数逻辑编程：从理论到Curry》。 In：为纪念Harald Ganzinger，LNCS 7797编程逻辑分析。 施普林格，柏林，第123–168页 谷歌学者 汉16 Hanus M（ed）（2016）Curry：一种集成函数逻辑语言（0.9.0版）。 http://www.curry-language.org 谷歌学者 第14页 Hanus M，Skrlac F（2014）功能逻辑程序的模块化通用分析服务器系统。 摘自：2014年ACM SIGPLAN部分评估和程序操作研讨会会议记录（PEPM’14）。 纽约ACM出版社，第181-188页 谷歌学者 KLMR92型 Kuchen H，López-Fraguas FJ，Moreno-Navarro JJ，Rodríguez-Artalejo M（1992）实现带有不合格约束的惰性函数逻辑语言。 1992年逻辑程序设计联合国际会议和专题讨论会会议记录。 麻省理工学院出版社，剑桥 谷歌学者 2007年3月 Mitchell N，Runciman C（2007）Haskell中用于安全模式匹配的静态检查器。 收录：《函数编程趋势》，第6卷。 Intellect，纽约，第15-30页 谷歌学者 Myc80型 Mycroft A（1980）将呼叫者需求转化为呼叫者价值的理论与实践。 摘自：LNCS 83国际编程研讨会论文集。 柏林施普林格，第269-281页 谷歌学者 OSS02系统 Overton D，Somogyi Z，Stuckey PJ（2002），汞的基于约束的模式分析。 摘自：第四届ACM SIGPLAN声明式编程原理与实践国际会议记录（PPDP'02）。 柏林ACM出版社，第109-120页 谷歌学者 PJ03页 Peyton Jones S（ed）（2003）Haskell 98语言和图书馆——修订报告。 剑桥大学出版社 谷歌学者 红色85 Reddy US（1985）作为函数语言的操作语义进行了狭义化。 收录：IEEE国际会议录。 逻辑编程研讨会，波士顿，第138-151页 谷歌学者 雷伊72 Reynolds JC（1972）高阶编程语言的定义解释器。 在：ACM年会论文集，第717–740页。 纽约ACM出版社 谷歌学者 罗布65 基于分辨原理的面向机器的逻辑 美国临床医学杂志 1965 12 1 23 41 170494 10.1145/321250.321253 139.12303 谷歌学者 数字图书馆 上海C96 高效的纯声明逻辑编程语言mercury的执行算法 J逻辑程序 1996 29 1–3 17 64 10.1016/S0743-1066（96）00068-4 877.68015 谷歌学者 交叉引用 
第74条 具有简化器、交换性和结合性的理论的自动理论证明 美国临床医学杂志 1974 21 4 622 642 428851 10.1145/321850.321859 296.68092 谷歌学者 数字图书馆 第03学期 Bezem M，Klop JW，de Vrijer R（eds）（2003）术语重写系统。 剑桥大学出版社 谷歌学者 战争82 Warren DHD（1982）序言的高阶扩展：它们需要吗？ In：机器智能，第10卷，第441-454页 谷歌学者
建议
模态逻辑和描述逻辑的统一性和可容许性问题的不确定性 我们证明了统一问题“给定公式在给定逻辑中是否存在可证明的替换实例？”对于用泛模态扩展的基本模态逻辑K和K4是不可判定的。 因此，可接受性问题。。。 Otter Lambda中的数学归纳 Otter-lambda经过Otter修改，添加了代码来实现lambda统一的算法。 Otter是一个基于分辨率的小句语言一级证明语，它积累了推导出的小句，并使用策略来控制推导和保留。。。
评论
