{"title":"Introduction to the special issue: Confluence","authors":"M. Ayala-Rincón, S. Mimram","doi":"10.1017/S0960129523000063","DOIUrl":null,"url":null,"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","PeriodicalId":49855,"journal":{"name":"Mathematical Structures in Computer Science","volume":"32 1","pages":"827 - 828"},"PeriodicalIF":0.4000,"publicationDate":"2022-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Structures in Computer Science","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1017/S0960129523000063","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
引用次数: 0
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
期刊介绍：
Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
