首页    期刊浏览 2024年11月29日 星期五
登录注册

文章基本信息

  • 标题:Confluence of nearly orthogonal infinitary term rewriting systems
  • 本地全文:下载
  • 作者:Lukasz Czajka
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2015
  • 卷号:36
  • 页码:106-126
  • DOI:10.4230/LIPIcs.RTA.2015.106
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:We give a relatively simple coinductive proof of confluence, modulo equivalence of root-active terms, of nearly orthogonal infinitary term rewriting systems. Nearly orthogonal systems allow certain root overlaps, but no non-root overlaps. Using a slightly more complicated method we also show confluence modulo equivalence of hypercollapsing terms. The condition we impose on root overlaps is similar to the condition used by Toyama in the context of finitary rewriting.
  • 关键词:infinitary rewriting; confluence; coinduction
国家哲学社会科学文献中心版权所有