Open. Closed. Open.

被引:0
|
作者
Dershowitz, N [1 ]
机构
[1] Tel Aviv Univ, Sch Comp Sci, IL-69978 Tel Aviv, Israel
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewriting (numbers 13 and 21 from the original RTA List of Open Problems). One problem deals with (criteria for left-linear) confluence and the other with termination (of one linear or string rule), the two paradigmatic properties of interest for rewrite systems of any flavor. Both problems were formulated a relatively long time ago, have seen considerable progress, but remain open. We also venture to contemplate the future evolution and impact of these investigations.
引用
收藏
页码:376 / 393
页数:18
相关论文
共 50 条
  • [1] 'Open.'
    Creelman, D
    [J]. CANADIAN LITERATURE, 2005, (185): : 169 - 170
  • [2] Open. An Autobiography
    Caponi, Paolo
    [J]. ALTRE MODERNITA-RIVISTA DI STUDI LETTERARI E CULTURALI, 2014, 12 : 161 - 163
  • [3] Views in the Open.
    Freytag, Holk
    [J]. THEATER HEUTE, 2010, (03): : 63 - 63
  • [4] Experience backgrounds open.
    Guenther, Bernhard
    Winkler, Gerhard E.
    [J]. NEUE ZEITSCHRIFT FUR MUSIK, 2010, (03): : 58 - 59
  • [5] The 'open. Man and animal'
    Gluchman, Vasil
    [J]. FILOSOFICKY CASOPIS, 2007, 55 (02): : 289 - 293
  • [6] Open. The man and the animal
    Gambardella, Fabiana
    [J]. S&F-SCIENZAEFILOSOFIA IT, 2012, (07) : 242 - 247
  • [7] Eyes wide open.
    Morton-Bours, EC
    Jacobs, MB
    Albers, GW
    [J]. NEW ENGLAND JOURNAL OF MEDICINE, 2000, 343 (01): : 50 - 55
  • [8] China: The gates are open.
    Qiu J.
    [J]. Nature, 2012, 481 (7382) : 535 - 537
  • [9] The open. On man and animals
    Coquio, C
    [J]. QUINZAINE LITTERAIRE, 2002, (830): : 19 - 20
  • [10] On the conditions of respiration with the chest open.
    Takeuchi, K
    [J]. JOURNAL OF PHYSIOLOGY-LONDON, 1925, 60 (03): : 142 - 147