Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)

Nachum Dershowitz; Stéphane Kaplan; David A. Plaisted

Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)

Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted

School of Computer Science

Research output: Contribution to journal › Comment/debate

Abstract

Several theorems in the proceedings only hold under additional, unstated hypotheses. • Theorems 1 and a: Add the hypothesis that → is top-terminating (as defined at the beginning of Section 4). • Theorem 5-10: Add the hypotheses that R is top-terminating and left-linear. • Theorem 17: Incorrect as stated. • Theorem 18: Add the hypothesis that →^α = →^ωfor all α ≥ ω.

Original language	English
Journal	Lecture Notes in Computer Science
Volume	372 LNCS
State	Published - 1989
Event	16th International Colloquium on Automata, Languages and Programming, 1989 - Stresa, Italy Duration: 11 Jul 1989 → 15 Jul 1989

Fingerprint

Dive into the research topics of 'Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)'. Together they form a unique fingerprint.

Cite this

@article{5beebc6d74f241cdb9337518bdfd11e0,

title = "Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)",

abstract = "Several theorems in the proceedings only hold under additional, unstated hypotheses. • Theorems 1 and a: Add the hypothesis that → is top-terminating (as defined at the beginning of Section 4). • Theorem 5-10: Add the hypotheses that R is top-terminating and left-linear. • Theorem 17: Incorrect as stated. • Theorem 18: Add the hypothesis that →α = →ωfor all α ≥ ω.",

author = "Nachum Dershowitz and St{\'e}phane Kaplan and Plaisted, {David A.}",

note = "Publisher Copyright: {\textcopyright} 1989, Springer-Verlag.; 16th International Colloquium on Automata, Languages and Programming, 1989 ; Conference date: 11-07-1989 Through 15-07-1989",

year = "1989",

language = "אנגלית",

volume = "372 LNCS",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765). / Dershowitz, Nachum; Kaplan, Stéphane; Plaisted, David A.
In: Lecture Notes in Computer Science, Vol. 372 LNCS, 1989.

Research output: Contribution to journal › Comment/debate

TY - JOUR

T1 - Corrigendum to

T2 - 16th International Colloquium on Automata, Languages and Programming, 1989

AU - Dershowitz, Nachum

AU - Kaplan, Stéphane

AU - Plaisted, David A.

PY - 1989

Y1 - 1989

N2 - Several theorems in the proceedings only hold under additional, unstated hypotheses. • Theorems 1 and a: Add the hypothesis that → is top-terminating (as defined at the beginning of Section 4). • Theorem 5-10: Add the hypotheses that R is top-terminating and left-linear. • Theorem 17: Incorrect as stated. • Theorem 18: Add the hypothesis that →α = →ωfor all α ≥ ω.

AB - Several theorems in the proceedings only hold under additional, unstated hypotheses. • Theorems 1 and a: Add the hypothesis that → is top-terminating (as defined at the beginning of Section 4). • Theorem 5-10: Add the hypotheses that R is top-terminating and left-linear. • Theorem 17: Incorrect as stated. • Theorem 18: Add the hypothesis that →α = →ωfor all α ≥ ω.

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

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.comment???

AN - SCOPUS:85034220484

SN - 0302-9743

VL - 372 LNCS

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 11 July 1989 through 15 July 1989

ER -

Corrigendum to: Infinite normal forms (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), (1989), 372 LNCS, (249-262), 10.1007/BFb0035765)

Abstract

Other files and links

Fingerprint

Cite this