13 citations · 13 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Automated Proofs of Unique Normal Forms w.r.t. Conversion for Term Rewriting Systems
Takahito Aoto, Yoshihito Toyama
The notion of normal forms is ubiquitous in various equivalent transformations. Confluence (CR), one of the central properties of term rewriting systems (TRSs), concerns uniqueness…
cs.LO2012★ 13 cited
A Reduction-Preserving Completion for Proving Confluence of Non-Terminating Term Rewriting Systems
Takahito Aoto, Yoshihito Toyama
We give a method to prove confluence of term rewriting systems that contain non-terminating rewrite rules such as commutativity and associativity. Usually, confluence of term rewri…