Proving Uniqueness of Normal Forms w.r.t Reduction of Term Rewriting Systems.

Takahito Aoto

Browse the full LOPSTR paper archive.