摘要
Basin,D.和Ganzinger,H.,1996年。 基于有序解析的自动化复杂性分析。 第11届IEEE计算机科学逻辑研讨会论文集。 IEEE计算机学会出版社,加利福尼亚州洛斯阿拉米托斯。 谷歌学者 Basin,D.和Ganzinger,H.2001。 基于有序解析的自动化复杂性分析。 杰克48,1,70--109。 谷歌学者 Bry,F.1990年。 递归数据库中的查询评估:自下而上和自上而下协调。 数据知识。 工程5,289--312。 谷歌学者 Givan,R.、McAllester,D.和Shalaby,S.,1991年。 基于自然语言的推理程序应用于舒伯特的压路机。 AAAI-91会议记录。 Morgan-Kaufmann,马萨诸塞州雷丁,第915-920页。 谷歌学者 Hella,L.、Kolaitis,P.G.和Luosto,K.,1997年。 如何在有限模型上定义线性顺序。 安纯应用。 逻辑,87,241--267。 谷歌学者 Immerman,N.1986年。 可在多项式时间内计算的关系查询。 信息控制。 68, 86--104. 谷歌学者 Immerman,N.1999。 描述性复杂性。 纽约施普林格-弗拉格。 谷歌学者 Jaffar,J.和Lassez,J.L.1987年。 约束逻辑编程。 1987年美国计算机学会编程语言原理会议记录。 ACM,纽约,第111-119页。 谷歌学者 Jouvelot,P.和Gifford,D.1991年。 类型和效果的代数重建。 1991年美国计算机学会编程语言原理会议记录。 纽约ACM。 谷歌学者 Knuth,D.E.1975年。 评估回溯计划的效率。 数学。 计算。 29,(1月),129,121--136。 谷歌学者 科赞,哥伦比亚特区1977年。 有限表示代数的复杂性。 第九届ACM计算理论年会论文集。 ACM,纽约,第164-177页。 谷歌学者 Mackworth,A.K.1977年。 关系网络的一致性。 Artif公司。 第8、1、99和181页。 谷歌学者 McAllester,D.A.1989年。 Ontic:数学知识表示系统。 麻省理工学院出版社。 谷歌学者 麦卡利斯特博士,1993年。 推理关系中可处理性的自动识别。 JACM 40,2(4月),284--303。 谷歌学者 McAllester,D.A.和Siskind,J.M.,1991年。 提升转换。 麻省理工学院人工智能实验室备忘录13431991。 谷歌学者 Naughton,J.和Ramakrishnan,R.1991年。 逻辑程序的自下而上的评估。 在计算逻辑中。 J.L.Lassez和G.Plotkin主编,麻省理工学院出版社,马萨诸塞州剑桥。 谷歌学者 Papadimitriou,C.H.1985年。 关于Prolog表达能力的说明。 EATCS牛市。 26、21-23之间。 谷歌学者 Pearl,J.和Korf,R.1987年。 搜索技术。 Ann.Rev.计算。 科学。 2, 451--467. 谷歌学者 肖斯塔克,R.1978。 关于等式的推理算法。 通信ACM。, 21,2(7月),583--585。 谷歌学者 Talpin,J.-P.和Jouvelot,P.1992年。 类型和效果系统。 第七届IEEE计算机科学逻辑年会论文集。 IEEE Computer Society Press,加州洛斯阿拉米托斯,第162-173页。 谷歌学者 Ullman,J.1988年。 数据库和知识库系统原理。 计算机科学出版社。 谷歌学者 Ullman,J.1989年。 对于数据日志,自下而上优于自上而下。 第八届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集。 ACM,纽约,第140-149页。 谷歌学者 van Hentenryck,P.1989年。 逻辑程序设计中的约束满足。 麻省理工学院出版社,马萨诸塞州剑桥。 谷歌学者 瓦尔迪,M.1982。 关系查询语言的复杂性。 第14届计算理论研讨会论文集。 第137-146页。 谷歌学者
建议
基于标记序列的命题抽象分离逻辑的证明搜索 2014年流行音乐 抽象分离逻辑是Hoare逻辑的一系列扩展,用于推理内存变异的程序。 这些逻辑是“抽象的”,因为它们独立于任何特定的具体记忆模型。 他们的断言语言,称为。。。 基于标记序列的命题抽象分离逻辑的证明搜索 POPL’14:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 抽象分离逻辑是Hoare逻辑的一系列扩展,用于推理内存变异的程序。 这些逻辑是“抽象的”,因为它们独立于任何特定的具体记忆模型。 他们的断言语言,称为。。。