A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser

DOI10.1006/INCO.2001.2945MaRDI QIDQ1854476zbMATH OpenOpenAlexFDO

Authors Benedetto Intrigila, Ivano Salvo, Stefano Sorgi

Publication date 14 January 2003

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.2001.2945

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 3934390
• scientific article; zbMATH DE number 6109844
• A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
• Weak Convergence and Uniform Normalization in Infinitary Rewriting
• Infinitary term rewriting for weakly orthogonal systems: properties and counterexamples

Cites work

• scientific article; zbMATH DE number 3730111 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• An abstract Church-Rosser theorem. II: Applications
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Fibonacci representations and finite automata
• On theories with a combinatorial definition of 'equivalence'
• The lambda calculus. Its syntax and semantics. Rev. ed.

This page was built for publication: A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser

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