Jump to: General, Art, Business, Computing, Medicine, Miscellaneous, Religion, Science, Slang, Sports, Tech, Phrases 

We found 8 dictionaries with English definitions that include the word Church-Rosser Theorem:
Click on the first link on a line below to go directly to a page where "Church-Rosser Theorem" is defined.

General (3 matching dictionaries)

1. Church-Rosser theorem: Wiktionary [home, info]
2. Church-Rosser Theorem: Dictionary.com [home, info]
3. Church-Rosser theorem: Wikipedia, the Free Encyclopedia [home, info]

Computing (2 matching dictionaries)

4. Church-Rosser Theorem: Free On-line Dictionary of Computing [home, info]
5. Church-Rosser theorem: Encyclopedia [home, info]

Medicine (1 matching dictionary)

6. Church-Rosser Theorem: online medical dictionary [home, info]

Science (2 matching dictionaries)

7. Church-Rosser Theorem: Eric Weisstein's World of Mathematics [home, info]
8. Church-Rosser Theorem: FOLDOP - Free On Line Dictionary Of Philosophy [home, info]

Quick definitions from Wiktionary (Church-rosser theorem) ▸ noun:  (mathematics, computing theory) A theorem stating that, when applying reduction rules to terms in the lambda calculus, the ordering in which the reductions are chosen makes no difference to the eventual result. ▸ Words similar to Church-Rosser Theorem ▸ Usage examples for Church-Rosser Theorem ▸ Idioms related to Church-Rosser Theorem (New!) ▸ Words that often appear near Church-Rosser Theorem ▸ Rhymes of Church-Rosser Theorem ▸ Invented words related to Church-Rosser Theorem