Confluence modulo equivalence with invariants in constraint handling rules

DOI10.1007/978-3-319-90686-7_8OpenAlexW2963648492MaRDI QIDQ1648877FDOQ1648877

Authors: Daniel Gall, Thom Frühwirth 

Publication date: 9 July 2018

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

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

Mathematics Subject Classification ID

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

Cited In (4)

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

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)