Pages that link to "Item:Q4245936"
From MaRDI portal
The following pages link to Theory and practice of constraint handling rules (Q4245936):
Displaying 20 items.
- Attributed Data for CHR Indexing (Q5325765) (← links)
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF (Q5325766) (← links)
- Demand-Driven Normalisation for ACD Term Rewriting (Q5325772) (← links)
- Proving Termination by Invariance Relations (Q5325774) (← links)
- Automating Termination Proofs for CHR (Q5325775) (← links)
- Containment in Rule-Based Models (Q5404101) (← links)
- A Unified Semantics for Constraint Handling Rules in Transaction Logic (Q5425409) (← links)
- Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) (← links)
- Aggregates for CHR through Program Transformation (Q5504593) (← links)
- Generation of Rule-Based Constraint Solvers: Combined Approach (Q5504596) (← links)
- Verification from Declarative Specifications Using Logic Programming (Q5504672) (← links)
- Optimization of CHR Propagation Rules (Q5504675) (← links)
- Termination Analysis of CHR Revisited (Q5504676) (← links)
- Transactions in Constraint Handling Rules (Q5504677) (← links)
- Cadmium: An Implementation of ACD Term Rewriting (Q5504678) (← links)
- Logic Based Program Synthesis and Transformation (Q5713942) (← links)
- CHR in Action (Q5743605) (← links)
- Reactive Answer Set Programming (Q6063885) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
- Logic programming (Q6602251) (← links)