TY - GEN
T1 - Solution to the problem of Zantema on a persistent property of term rewriting systems
AU - Aoto, Takahito
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1998.
PY - 1998
Y1 - 1998
N2 - A property P of term rewriting systems is persistent if for any many-sorted term rewriting system R, R has the property P iff its underlying term rewriting system θ(R), which results from R by omitting its sort information, has the property P. It is shown that termination is a persistent property of many-sorted term rewriting systems that contain only variables of the same sort. This is the positive solution to a problem of Zantema, which has been appeared as Rewriting Open Problem 60 in literature.
AB - A property P of term rewriting systems is persistent if for any many-sorted term rewriting system R, R has the property P iff its underlying term rewriting system θ(R), which results from R by omitting its sort information, has the property P. It is shown that termination is a persistent property of many-sorted term rewriting systems that contain only variables of the same sort. This is the positive solution to a problem of Zantema, which has been appeared as Rewriting Open Problem 60 in literature.
UR - http://www.scopus.com/inward/record.url?scp=84947707191&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84947707191&partnerID=8YFLogxK
U2 - 10.1007/bfb0056618
DO - 10.1007/bfb0056618
M3 - Conference contribution
AN - SCOPUS:84947707191
SN - 3540650121
SN - 9783540650126
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 250
EP - 265
BT - Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings
A2 - Palamidessi, Catuscia
A2 - Glaser, Hugh
A2 - Meinke, Karl
PB - Springer Verlag
T2 - 10th International Symposium on Programming Languages, Implementations, Logics and Programs, PLILP 1998, Held Jointly with the 6th International Conference, ALP 1998
Y2 - 16 September 1998 through 18 September 1998
ER -