Confluence (term rewriting)

In computer science, confluence is a property of rewriting systems, describing which terms in such a system can be rewritten in more than one way, to yield the same result.

See also

• Abstract rewriting system
• Church–Rosser theorem
• Convergence (logic)
• Critical pair (logic)
• Rewriting

External links

• Confluence (term rewriting) @ Wikipedia