collaborators

1 paper

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…