Confluence of conditional rewriting modulo

DOI10.4230/LIPICS.CSL.2024.37MaRDI QIDQ6856015zbMATH OpenFDO

Authors Salvador Lucas

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2024.37

zbMATH Keywords

conditional rewritingconfluenceprogram analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Automatic generation of logical models with AGES
• Automatically Proving and Disproving Feasibility Conditions
• Complete Sets of Reductions for Some Equational Theories
• Completion of a Set of Rules Modulo a Set of Equations
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• scientific article; zbMATH DE number 1729952 (Why is no real title available?)
• scientific article; zbMATH DE number 3827173 (Why is no real title available?)
• scientific article; zbMATH DE number 4090846 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 837700 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• scientific article; zbMATH DE number 3278281 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• Local confluence of conditional and generalized term rewriting systems
• On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories
• Term Rewriting and All That

Cited in

(1)

• Termination of generalized term rewriting systems

This page was built for publication: Confluence of conditional rewriting modulo

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856015)