View source for Confluence (term rewriting)

In [[computer science]], '''confluence''' is a property of [[Rewriting|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 ==

* [https://en.wikipedia.org/wiki/Confluence_(abstract_rewriting) Confluence (term rewriting)] @ Wikipedia


[[Category:Computer science]]