Church-Rosser properties

A form of Church-Rosser property — The property of a rewriting system for which x stackrel *↔y implies x mathbin ↓y for all objects x, y.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of Church-Rosser property
Cite this entry
APA

Church-Rosser properties. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Church-Rosser%20properties

MLA

“Church-Rosser properties.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Church-Rosser%20properties. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Church-Rosser properties,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Church-Rosser%20properties.

Source: Church-Rosser properties on Wiktionary, CC BY-SA 4.0.