Pages that link to "Item:Q5713942"
From MaRDI portal
The following pages link to Logic Based Program Synthesis and Transformation (Q5713942):
Displayed 4 items.
- On proving confluence modulo equivalence for Constraint Handling Rules (Q511019) (← links)
- Exhaustive Execution of CHR Through Source-to-Source Transformation (Q2949701) (← links)
- Constructing Rule-Based Solvers for Intentionally-Defined Constraints (Q3616883) (← links)
- Generation of Rule-Based Constraint Solvers: Combined Approach (Q5504596) (← links)