Word.ws English Dictionary

Church-Rosser properties

Church-Rosser properties is the plural of Church-Rosser property.

Meaning of Church-Rosser property

Noun

Church-Rosser property (plural Church-Rosser properties)

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

Questions about Church-Rosser properties

What is Church-Rosser properties the plural of?
Church-Rosser properties is the plural of Church-Rosser property.

Words near Church-Rosser properties in the dictionary

  1. church-going
  2. church-load
  3. church-loads
  4. Church-of-Englandism
  5. church-ridden
  6. Church-Rosser properties
  7. Church-Rosser property
  8. Church-Rosser theorem
  9. Church-Turing thesis
  10. church-yard
  11. church-yards

Source and license

Adapted from Wiktionary: Church-Rosser properties (page history and authors); Church-Rosser property (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.

Last updated:

Cite this entry: “Church-Rosser properties.” Word.ws, https://word.ws/church-rosser_properties. Based on Wiktionary, CC BY-SA 4.0.