Unique normal forms for disjoint unions of conditional term rewriting systems:

Abstract: "In [14] we have shown that every term rewriting system with the unique normal form property can be conservatively extended to a confluent term rewriting system with the same set of normal forms. This paper gives a simplified construction, which moreover yields a positive answer to a...

Full description

Saved in:
Bibliographic Details
Main Author: Middeldorp, Aart 1963- (Author)
Format: Book
Language:English
Published: Amsterdam 1990
Series:Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS 90,3
Subjects:
Online Access:Volltext
Summary:Abstract: "In [14] we have shown that every term rewriting system with the unique normal form property can be conservatively extended to a confluent term rewriting system with the same set of normal forms. This paper gives a simplified construction, which moreover yields a positive answer to a conjecture in [14] stating that the normal form property is a modular property of left-linear term rewriting systems. We further show that the main result of [14] -- the modularity of unique normal forms -- can be generalized to semi-equational conditional term rewriting systems; however, for join and normal conditional term rewriting systems the method of [14] fails."
Physical Description:16 S.

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text