The Confluence Framework provides a modular strategy to automatically prove and disprove confluence for a broad class of generalized term rewriting systems.
Order-Sorted Algebra I: Equatio nal Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations
1 Pith paper cite this work, alongside 496 external citations. Polarity classification is still indexing.
1
Pith paper citing it
496
external citations · OpenAlex
fields
cs.LO 1years
2023 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Proving Confluence in the Confluence Framework with CONFident
The Confluence Framework provides a modular strategy to automatically prove and disprove confluence for a broad class of generalized term rewriting systems.