The journal
Open the journal →The conversation starts in the journal — be the first to post.
About confluence
In computer science and mathematics, 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. This article describes the properties in the most abstract setting of an abstract rewriting system.
Everything about confluence →