Advertisement

Modular aspects of properties of term rewriting systems related to normal forms

  • Aart Middeldorp
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 355)

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.

Keywords

Equivalence Class Normal Form Function Symbol Reduction Rule Conservative Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    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).Google Scholar
  2. [2]
    A. Middeldorp, Modular Aspects of Properties of Term Rewriting Systems Related to Normal Forms, Report IR-164, Vrije Universiteit Amsterdam, 1988.Google Scholar
  3. [3]
    M. Rusinowitch, On Termination of the Direct Sum of Term Rewriting Systems, Information Processing Letters 26, pp. 65–70, 1987.Google Scholar
  4. [4]
    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.Google Scholar
  5. [5]
    Y. Toyama, Counterexamples to Termination for the Direct Sum of Term Rewriting Systems, Information Processing Letters 25, pp. 141–143, 1987.Google Scholar
  6. [6]
    Y. Toyama, J.W. Klop and H.P. Barendregt, Termination for the Direct Sum of Left-Linear Term Rewriting Systems, in this proceedings.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Aart Middeldorp
    • 1
  1. 1.Department of Mathematics and Computer ScienceVrije UniversiteitAmsterdam

Personalised recommendations