Unique normal forms for nonlinear term rewriting systems: Root overlaps

DOI10.1007/BFB0036206MaRDI QIDQ5055958zbMATH OpenFDO

Authors Rakesh M. Verma

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0036206

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Unique normal form property of higher-order rewriting systems
• scientific article; zbMATH DE number 1301091
• scientific article; zbMATH DE number 177827
• scientific article; zbMATH DE number 4106267
• Infinite normal forms for non-linear term rewriting systems

Cites work

• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 1380902 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• On the sequential nature of unification
• On theories with a combinatorial definition of 'equivalence'
• Unique normal forms for lambda calculus with surjective pairing

Cited in

(7)

• Unique normal form property of higher-order rewriting systems
• On the Normalization and Unique Normalization Properties of Term Rewrite Systems
• scientific article; zbMATH DE number 1301091 (Why is no real title available?)
• scientific article; zbMATH DE number 7204433 (Why is no real title available?)
• Non--overlapping TRSs are UN
• Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
• Conditional linearization

This page was built for publication: Unique normal forms for nonlinear term rewriting systems: Root overlaps

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