Church–Rosser property
Home
Wiki
Redirect to:
Confluence (abstract rewriting)#Church–Rosser property