Sciweavers

RTA
2005
Springer

Open. Closed. Open

14 years 5 months ago
Open. Closed. Open
Abstract. 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.
Nachum Dershowitz
Added 28 Jun 2010
Updated 28 Jun 2010
Type Conference
Year 2005
Where RTA
Authors Nachum Dershowitz
Comments (0)