Confluence
Sign in to saveAlso known as Church–Rosser property, Church–Rosser
property of abstract rewriting systems
Wikidata facts
- Named after
- J. Barkley Rosser
Show 1 more fact
- maintained by WikiProject
- WikiProject Mathematics
Sources (3)
via Wikidata · CC0
Article · Français
En mathématiques, ou en informatique, la confluence d'une relation binaire est définie comme la propriété suivante : Pour tous éléments tels que et , il existe un élément tel que et . La confluence est équivalente à la propriété de Church-Rosser.
Abstract from DBpedia / Wikipedia · CC BY-SA