广告

VMTL–模块化终端实验室

  • 费利克斯·舍恩哈默
  • 伯纳德·格雷姆利希
会议文件
部分计算机科学讲义丛书(LNCS,第5595卷)

摘要

术语重写系统(TRSs)的自动终止分析在过去的几十年里引起了科学界的广泛关注,并为此开发了许多不同的方法和方法。根据目前最流行的模块化分析工具TRSs,为用户提供了一种新的模块化算法接口,并为用户提供了一种新的模块化算法接口。除了模块化可扩展性外,VMTL还着重分析了条件项重写系统(CTRSs)的终止行为。使用一种最新的转换技术,得到的限制终止问题(对于无条件上下文敏感的trs)用专用算法处理。

关键词

证明策略还原顺序端接工具依赖项对原期限
这些关键字是由机器而不是作者添加的。这个过程是实验性的,关键字可能会随着学习算法的改进而更新。

预览

无法显示预览下载预览PDF。

无法显示预览下载预览PDF。

工具书类

  1. 1
    Alarcón,B.,Emmes,F.,Fuhs,C.,Giesl,J.,Gutiérrez,R.,Lucas,S.,Schneider Kamp,P.,Thiemann,R.:改进上下文相关依赖对。在:Cervesato,I.,Veith,H.,Voronkov,A.(编辑),LPAR 2008。LNCS,第5330卷,第636-651页。斯普林格,海德堡(2008)谷歌学者
  2. 2
    Alarcón,B.,Gutiérrez,R.,Lucas,S.:上下文相关依赖对。在:Arun Kumar,S.,Garg,N.(编辑),FSTTCS 2006。LNCS,第4337卷,第297-308页。斯普林格,海德堡(2006)交叉引用谷歌学者
  3. 三。
    Arts,T.,Giesl,J.:使用依赖对终止术语重写。理论(计算机科学),236-1数学网交叉引用兹马思谷歌学者
  4. 4
    Baader,F.,Nipkow,T.:术语重写和所有这些。剑桥大学出版社,纽约(1998)交叉引用兹马思谷歌学者
  5. 5
    Bezem,M.,Klop,J.W.,de Vrijer,R.(编辑):术语重写系统。剑桥理论计算机科学丛书,第55卷。剑桥大学出版社,剑桥(2003)兹马思谷歌学者
  6. 6
    Durán,F.,Lucas,S.,Meseguer,J.,Marché,C.,Urbain,X.:证明会员资格平等计划的操作终止。高阶与符号计算21,59–88(2008)交叉引用兹马思谷歌学者
  7. 7
    Eén,n.,Sörensson,n:一个可扩展的SAT解算器。作者:Giunciglia,E.,Tachella,A.(编辑),2003年SAT。LNCS,第2919卷,第502-518页。斯普林格,海德堡(2004)交叉引用谷歌学者
  8. 8
    Giesl,J.,Thiemann,R.,Schneider Kamp,P.,Falke,S.:机械化和改进依赖对。自动推理杂志37(3),155–203(2006)数学网交叉引用兹马思谷歌学者
  9. 9
    Gmeiner,K.,Gramlich,B.:重新审视条件重写系统的转换。在:Corradini,A.,Montanari,U.(eds.)《代数发展技术的最新趋势》(WADT 2008)——精选论文。LNCS公司。斯普林格,海德堡(2009年出版)谷歌学者
  10. 10
    Gutiérrez,R.,Lucas,S.,Urbain,X.:上下文相关重写系统的可用规则。In:Voronkov,A.(编辑)RTA 2008。LNCS,第5117卷,第126-141页。斯普林格,海德堡(2008)交叉引用谷歌学者
  11. 11
    Koprowski,A.:重写终止及其认证。埃因霍温理工大学博士论文(2008)谷歌学者
  12. 12
    Lucas,S.:函数和函数逻辑程序中的上下文相关计算。函数与逻辑程序设计杂志1998(1)(1998年1月)谷歌学者
  13. 13
    Lucas,S.,Marché,C.,Meseguer,J.:有条件术语重写系统的操作终止。Inf.Process.Lett.95(4),446–453(2005年)数学网交叉引用兹马思谷歌学者
  14. 14
    Marchiori,M.:解开和超属性。在:哈努斯,M.,罗德里格斯·阿塔列霍,M.(编辑)阿尔卑斯1996年。LNCS,第1139卷,第107-121页。斯普林格,海德堡(1996)交叉引用谷歌学者
  15. 15
    Nishida,N.,Sakai,M.,Sakabe,T.:构造函数项重写系统的部分反转。在:Giesl,J.(编辑)RTA 2005。LNCS,第3467卷,第264-278页。斯普林格,海德堡(2005)交叉引用谷歌学者
  16. 16
    Ohlebusch,E.:术语重写中的高级主题。斯普林格,伦敦(2002)交叉引用兹马思谷歌学者
  17. 17
    Schernhammer,F.,Gramlich,B.:描述和证明确定性条件项重写系统的操作终止。2009年3月E1852号技术报告,http://www.logic.at/vmtl/
  18. 18
  19. 19
    Thiemann,R.,Giesl,J.:术语重写终止的大小变化原则和依赖对。工程、通信和计算中的应用代数16(4),229–270(2005)数学网交叉引用兹马思谷歌学者

版权信息

©施普林格柏林海德堡2009

作者和附属机构

  • 费利克斯·舍恩哈默
    • 1
  • 伯纳德·格雷姆利希
    • 1
  1. 1维也纳工业大学奥地利

个性化建议