TY - GEN
T1 - Infinite normal forms
T2 - 16th International Colloquium on Automata, Languages and Programming, 1989
AU - Dershowitz, Nachum
AU - Kaplan, Stéphane
AU - Plaisted, David A.
N1 - Publisher Copyright:
© 1989, Springer-Verlag.
PY - 1989
Y1 - 1989
N2 - We continue here a study of properties of rewrite systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give algebraic semantics for theories described by such systems, consider sufficient completeness of hierarchical systems, suggest practical conditions for the existence of a limit and for its uniqueness, and extend the ideas to conditional rewriting.
AB - We continue here a study of properties of rewrite systems that are not necessarily terminating, but allow for infinite derivations that have a limit. In particular, we give algebraic semantics for theories described by such systems, consider sufficient completeness of hierarchical systems, suggest practical conditions for the existence of a limit and for its uniqueness, and extend the ideas to conditional rewriting.
UR - http://www.scopus.com/inward/record.url?scp=0013262506&partnerID=8YFLogxK
U2 - 10.1007/BFb0035765
DO - 10.1007/BFb0035765
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:0013262506
SN - 9783540513711
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 249
EP - 262
BT - Automata, Languages and Programming - 16th International Colloquium, Proceedings
A2 - Dezani-Ciancaglini, Mariangiola
A2 - Della Rocca, Simonetta Ronchi
A2 - Ausiello, Giorgio
PB - Springer Verlag
Y2 - 11 July 1989 through 15 July 1989
ER -