Abstract
In this paper we prove that the property of having unique normal forms is preserved under disjoint union. We show that two related properties do not exhibit this kind of modularity.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
A. Middeldorp, A Sufficient Condition for the Termination of the Direct Sum of Term Rewriting Systems, Report IR-150, Vrije Universiteit Amsterdam, 1988. To appear in: Proceedings of the 4th Conference on Logic in Computer Science (Asilomar, 1989).
A. Middeldorp, Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms, Report IR-164, Vrije Universiteit Amsterdam, 1988.
M. Rusinowitch, On Termination of the Direct Sum of Term Rewriting Systems, Information Processing Letters 26, pp. 65–70, 1987.
Y. Toyama, On the Church-Rosser Property for the Direct Sum of Term Rewriting Systems, Journal of the ACM 34(1), pp. 128–143, 1987.
Y. Toyama, Counterexamples to Termination for the Direct Sum of Term Rewriting Systems, Information Processing Letters 25, pp. 141–143, 1987.
Y. Toyama, J.W. Klop and H.P. Barendregt, Termination for the Direct Sum of Left-Linear Term Rewriting Systems, in this proceedings.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Middeldorp, A. (1989). Modular aspects of properties of term rewriting systems related to normal forms. In: Dershowitz, N. (eds) Rewriting Techniques and Applications. RTA 1989. Lecture Notes in Computer Science, vol 355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51081-8_113
Download citation
DOI: https://doi.org/10.1007/3-540-51081-8_113
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51081-9
Online ISBN: 978-3-540-46149-4
eBook Packages: Springer Book Archive