Photo by lucasgallone from unsplash
The notion of confluence , which generalizes the one of determinism, is a central and ubiquitous property of computational and deductive systems. Its study is one of the main topics… Click to show full abstract
The notion of confluence , which generalizes the one of determinism, is a central and ubiquitous property of computational and deductive systems. Its study is one of the main topics of rewriting theory, where it relates to other properties such as termination, modularity, commutation, and completion. It has been investigated in many formalisms of rewriting, such as conditional and unconditional first- and higher order rewriting, λ -calculi, and constraint rewriting. This special issue presents a selection of novel results and recent computational techniques related to confluence
Journal Title: Mathematical Structures in Computer Science
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!