Open. closed. open

Nachum Dershowitz*

*Corresponding author for this work

Research output: Contribution to journalConference articlepeer-review

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.

Original languageEnglish
Pages (from-to)376-393
Number of pages18
JournalLecture Notes in Computer Science
Volume3467
DOIs
StatePublished - 2005
Event16th International Conference on Term Rewriting and Applications, RTA 2005 - Nara, Japan
Duration: 19 Apr 200521 Apr 2005

Fingerprint

Dive into the research topics of 'Open. closed. open'. Together they form a unique fingerprint.

Cite this