confluence
Sign in to saveAlso known as Church–Rosser property, Church–Rosser
property of abstract rewriting systems
Connections
lambda calculus
Entity
rewriting
Entity
International Standard Book Number
Entity
group
Entity
polynomial
Entity
Alonzo Church
Entity
if and only if
Entity
confluence
Entity
ideal
Entity
MathWorld
Entity
universal algebra
Entity
directed graph
Entity
idempotence
Entity
closure
Entity
Eric W. Weisstein
Entity
term
Entity
Gröbner basis
Entity
Confluence
Entity
Church–Rosser theorem
Entity
J. Barkley Rosser
Entity