Open. closed. open

Nachum Dershowitz

doi:10.1007/978-3-540-32033-3_28

Open. closed. open

Nachum Dershowitz

School of Computer Science

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	376-393
Number of pages	18
Journal	Lecture Notes in Computer Science
Volume	3467
DOIs	https://doi.org/10.1007/978-3-540-32033-3_28
State	Published - 2005
Event	16th International Conference on Term Rewriting and Applications, RTA 2005 - Nara, Japan Duration: 19 Apr 2005 → 21 Apr 2005

Access to Document

10.1007/978-3-540-32033-3_28

Cite this

@article{71472c62369f435fa6775266519c5485,

title = "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.",

author = "Nachum Dershowitz",

year = "2005",

doi = "10.1007/978-3-540-32033-3_28",

language = "אנגלית",

volume = "3467",

pages = "376--393",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "16th International Conference on Term Rewriting and Applications, RTA 2005 ; Conference date: 19-04-2005 Through 21-04-2005",

}

TY - JOUR

T1 - Open. closed. open

AU - Dershowitz, Nachum

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=24944584219&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-32033-3_28

DO - 10.1007/978-3-540-32033-3_28

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.conferencearticle???

AN - SCOPUS:24944584219

SN - 0302-9743

VL - 3467

SP - 376

EP - 393

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 16th International Conference on Term Rewriting and Applications, RTA 2005

Y2 - 19 April 2005 through 21 April 2005

ER -

Open. closed. open

Abstract

Access to Document

Other files and links

Fingerprint

Cite this