| ||||
| ||||
![]() Title:On Local Confluence of Conditional Rewriting Authors:Salvador Lucas Conference:IWC 2022 Tags:confluence, program analysis and reduction-based systems Abstract: We characterize local confluence of *conditional rewrite systems* à la Huet, i.e., as the joinability of a set of conditional pairs including the usual conditional critical pairs and a new kind of pairs we call *conditional variable pairs*. On Local Confluence of Conditional Rewriting ![]() On Local Confluence of Conditional Rewriting | ||||
Copyright © 2002 – 2025 EasyChair |