Login
Login

Church-Rosser property

  1. REDIRECT Confluence (abstract rewriting)#Church–Rosser property

{{R to section}}