A new parallel closed condition for Church-Rosser of left-linear term rewriting systems

DOI10.1007/3-540-62950-5_70zbMath1379.68202OpenAlexW1492463791MaRDI QIDQ4594227

Yoshikatsu Ohta, Michio Oyamaguchi

Publication date: 17 November 2017

Published in: Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-62950-5_70

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (7)

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent ⋮ Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent ⋮ Unnamed Item ⋮ Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem ⋮ Shallow confluence of conditional term rewriting systems ⋮ Proving Confluence of Term Rewriting Systems Automatically ⋮ Labelings for decreasing diagrams

This page was built for publication: A new parallel closed condition for Church-Rosser of left-linear term rewriting systems