如果對於所有 
和 
使得 
，存在一個 
使得 
且 
，則稱一個歸約系統具有 Church-Rosser 屬性。
Church-Rosser 屬性
另請參閱
Church-Rosser 定理, 匯合的, 臨界對, 有限終止的, Knuth-Bendix 完成演算法, 歸約序此條目由 Alex Sakharov (作者連結) 貢獻
使用 探索
參考文獻
Baader, F. 和 Nipkow, T. 項重寫及其相關內容。 Cambridge, England: Cambridge University Press, 1999.Wolfram, S. 一種新科學。 Champaign, IL: Wolfram Media, 頁碼 507 和 1036-1037, 2002.在 中被引用
Church-Rosser 屬性請引用為
Sakharov, Alex. "Church-Rosser 屬性." 來自 Web 資源，由 Eric W. Weisstein 建立。 https://mathworld.tw/Church-RosserProperty.html