Confluence modulo equivalence with invariants in constraint handling rules

DOI10.1007/978-3-319-90686-7_8MaRDI QIDQ1648877OpenAlexFDO

Authors Daniel Gall, Thom Frühwirth

Publication date 9 July 2018

Full work available at URL https://arxiv.org/abs/1802.03381

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70)

Recommendations

• Confluence modulo equivalence in Constraint Handling Rules
• On proving confluence modulo equivalence for Constraint Handling Rules
• Diagrammatic confluence for constraint handling rules
• Observable Confluence for Constraint Handling Rules
• scientific article; zbMATH DE number 2086589

Cited in

(4)

• Diagrammatic confluence for constraint handling rules
• Confluence modulo equivalence in Constraint Handling Rules
• On proving confluence modulo equivalence for Constraint Handling Rules
• Confluence up to garbage in graph transformation

This page was built for publication: Confluence modulo equivalence with invariants in constraint handling rules

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