Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
type: Item
instance of: scholarly article
title: Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
zbMATH Open document ID: 0974.68080
DOI: 10.1016/S0304-3975(99)00340-0
published in: Theoretical Computer Science
publication date: 2001-08-20T00:00:00Z
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 1635361
MaRDI profile type: MaRDI publication profile
cites work: Conditional rewrite rules: Confluence and termination
cites work: Diagram techniques for confluence
cites work: An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators
cites work: Fundamental properties of infinite trees
cites work: Theoretical Pearl Yet yet a counterexample for λ+SP
cites work: Problems in rewriting III
cites work: Proving termination with multiset orderings
cites work: Q4362915
cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
cites work: Q3918095
cites work: Q4023825
cites work: Unique normal forms for lambda calculus with surjective pairing
cites work: Unique normal form property of Higher-Order Rewriting Systems
cites work: Q4246736
cites work: Confluence by decreasing diagrams
cites work: Developing developments
cites work: A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
cites work: Tree-Manipulating Systems and Church-Rosser Theorems
cites work: Q3830525
cites work: Q4937190
cites work: Unique normal forms for nonlinear term rewriting systems: Root overlaps
cites work: Q3202990
cites work: Conditional linearization
author: K. Mano
author: Mitsunori Ogawa
description: scientific article; zbMATH DE number 1635361