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

文章基本信息

  • 标题:Persistency of Confluence
  • 本地全文:下载
  • 作者:Takahito Aoto ; Yoshihito Toyama
  • 期刊名称:Journal of Universal Computer Science
  • 印刷版ISSN:0948-6968
  • 出版年度:1997
  • 卷号:3
  • 期号:11
  • 页码:1134-1147
  • 出版社:Graz University of Technology and Know-Center
  • 摘要:A property of term rewriting systems (TRSs, for short) is said to be persistent if for any many-sorted TRS has the property if and only if its underlying unsorted TRS has the property . This notion was introduced by H. Zantema (1994). In this paper, it is shown that confluence is persistent. 1.) Proceedings of the First Japan-New Zealand Workshop on Logic in Computer Science, special issue editors D.S. Bridges, C.S. Calude, M.J. Dinneen and B. Khoussainov.
国家哲学社会科学文献中心版权所有