Let be an abstract rewriting system ie. a set equipped with a binary relation . Write for the reflexive-transitive closure of . We say that is locally confluent iff for every such that and , there exists such that and .
Last revised on August 6, 2022 at 17:13:30. See the history of this page for a list of all contributions to it.