@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",

}

Duration: 11 Jul 1989 → 15 Jul 1989