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.

BibTeX Entry

@inproceedings{M-RTA89,
 author    = "Aart Middeldorp",
 title     = "Modular Aspects of Properties of Term Rewriting Systems
              Related to Normal Forms",
 booktitle = "Proceedings of the 3rd International Conference on Rewriting
              Techniques and Applications",
 series    = "Lecture Notes in Computer Science",
 volume    = 355,
 pages     = "263--277",
 year      = 1989,
 doi       = "10.1007/3-540-51081-8\_113"
}