HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Church-Rosser property
← Back to search

Meaning of Church-Rosser property | Babel Free

Noun CEFR B2

Definitions

The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

CEFR level

B2
Upper Intermediate
This word is part of the CEFR B2 vocabulary — upper intermediate level.

See also

Church-Rosser theorem Church-Turing thesis church-yard Churcham churchane churchanity

Learn this word in context

See Church-Rosser property used in real conversations inside our free language course.

Start Free Course