Confluence modulo equivalence in Constraint Handling Rules

DOI10.1007/978-3-319-17822-6_3MaRDI QIDQ2949698zbMATHOpenAlexWikidataFDO

Authors Henning Christiansen, Maja H. Kirkeby

Publication date 2 October 2015

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://rucforsk.ruc.dk/ws/files/56543837/chp_10.1007_978_3_319_17822_6_3.pdf

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• On proving confluence modulo equivalence for Constraint Handling Rules
• Confluence modulo equivalence with invariants in constraint handling rules
• Diagrammatic confluence for constraint handling rules
• Observable Confluence for Constraint Handling Rules
• Logic Programming

Cites work

• As time goes by: constraint handling rules
• Biological Sequence Analysis
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Constraint Handling Rules
• Diagrammatic confluence for constraint handling rules
• Error bounds for convolutional codes and an asymptotically optimum decoding algorithm
• Logic Programming
• Observable Confluence for Constraint Handling Rules
• On theories with a combinatorial definition of 'equivalence'
• Testing for the Church-Rosser Property
• Theory and practice of constraint handling rules
• Worst-case Analysis of Set Union Algorithms

Cited in

(6)

• Observable Confluence for Constraint Handling Rules
• Diagrammatic confluence for constraint handling rules
• Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
• Confluence modulo equivalence with invariants in constraint handling rules
• scientific article; zbMATH DE number 2086589 (Why is no real title available?)
• On proving confluence modulo equivalence for Constraint Handling Rules

This page was built for publication: Confluence modulo equivalence in Constraint Handling Rules

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