Church-Rosser property (English, noun)
expansion: Church-Rosser property (plural Church-Rosser properties)
Senses:
topics: computer
computing
engineering
human-sciences
logic
mathematics
natural-sciences
philosophy
physical-sciences
science
sciences
glosses: The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.
Forms:
form: Church-Rosser properties
tags: plural