Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03088418n
Noun Concept
Categories: Rewriting systems
EN
confluence
EN
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. Wikipedia
English:
term rewriting
abstract rewriting
computer science
Definitions
Relations
Sources
EN
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. Wikipedia
A concept in computer science Wikipedia Disambiguation
Property of abstract rewriting systems Wikidata
In rewriting systems, property describing which terms can be rewritten with other, equivalent terms. Wiktionary
NAMED AFTER
Alonzo Church
J. Barkley Rosser
Wikipedia
EN
confluence (abstract rewriting)
Wikidata
EN
confluence
Wiktionary
EN
confluence
Wikipedia Redirections
EN
Church-Rosser property, Church–Rosser property, Confluence (computer science), confluent (abstract rewriting), Directed relation, ground confluent, local confluence, locally confluent, Strong confluence, strongly confluent
Wikidata Alias
EN
Church–Rosser, Church–Rosser property

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License