REWRITE, REWRITE, REWRITE, REWRITE, REWRITE, ...

被引：48
|
作者：
DERSHOWITZ, N
KAPLAN, S
PLAISTED, DA
机构：
[1] BAR ILAN UNIV, DEPT COMP SCI, IL-52100 RAMAT GAN, ISRAEL
[2] UNIV PARIS 11, RECH INFORMAT LAB, F-91405 ORSAY, FRANCE
[3] UNIV N CAROLINA, DEPT COMP SCI, CHAPEL HILL, NC 27599 USA
来源：
THEORETICAL COMPUTER SCIENCE | 1991年 / 83卷 / 01期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0304-3975(91)90040-9
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We study properties of rewrite systems that are not necessarily terminating, but allow instead for transfinite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of infinitary theories. We also consider sufficient completeness of hierarchical systems.
引用
收藏
页码：71 / 96
页数：26
相关论文
共 50 条
  • [21] Rewrite the myths
    Borod, Alexandra
    CAIETELE ECHINOX, 2018, 35 : 426 - 427
  • [22] REWRITE THE PAST
    Pozniak H.
    Engineering and Technology, 2023, 18 (06): : 24 - 27
  • [23] Rewrite games
    Waldmann, J
    REWRITING TECHNIQUES AND APPLICATIONS, 2002, 2378 : 144 - 158
  • [24] Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems
    Guillem Godoy
    Ashish Tiwari
    Rakesh Verma
    Applicable Algebra in Engineering, Communication and Computing, 2004, 15 : 13 - 36
  • [25] Writing to Learn: Why We Should Write, Rewrite, and Rewrite Again
    Liebenberg, Linda
    INTERNATIONAL JOURNAL OF QUALITATIVE METHODS, 2016, 15 (01):
  • [26] CHAP and rewrite components
    Sándor Vágvölgyi
    Acta Informatica, 2011, 48
  • [27] Lions' tale rewrite
    不详
    FORBES, 2004, 174 (05): : 30 - 30
  • [28] The security forces rewrite
    Grant, Rebecca
    Air Force Mag, 1 (54-58):
  • [29] Process rewrite systems
    Mayr, R
    INFORMATION AND COMPUTATION, 2000, 156 (1-2) : 264 - 286
  • [30] Modern Rewrite on the Beach
    Haldeman, Peter
    ARCHITECTURAL DIGEST, 2010, 67 (03) : 106 - 113
12345