Publication:5941196

DOI10.1016/S0304-3975(99)00340-0zbMATH Open0974.68080MaRDI QIDQ5941196FDOQ5941196

Mitsunori Ogawa, K. Mano

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Proving termination with multiset orderings
• Fundamental properties of infinite trees
• Conditional rewrite rules: Confluence and termination
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Tree-Manipulating Systems and Church-Rosser Theorems
• Confluence by decreasing diagrams
• Developing developments
• Unique normal forms for lambda calculus with surjective pairing
• Unique normal form property of Higher-Order Rewriting Systems
• Unique normal forms for nonlinear term rewriting systems: Root overlaps
• Conditional linearization
• Diagram techniques for confluence
• An extension of Klop's counterexample to the Church-Rosser property to \(\lambda\)-calculus with other ordered pair combinators
• Problems in rewriting III
• Theoretical Pearl Yet yet a counterexample for λ+SP

Cited In (3)

• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• Conditional linearization
• Title not available (Why is that?)

This page was built for publication: Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941196)