Pages that link to "Item:Q1271565"
From MaRDI portal
The following pages link to Set constraints and logic programming (Q1271565):
Displaying 17 items.
- Relating constraint answer set programming languages and algorithms (Q490456) (← links)
- Implementing logical connectives in constraint programming (Q622127) (← links)
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Generalized disjunctive well-founded semantics for logic programs. (Q1354026) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- Introduction to set constraint-based program analysis (Q1818069) (← links)
- Tarskian set constraints (Q1854523) (← links)
- Set constraints with intersection (Q2506490) (← links)
- {log}: A language for programming in logic with finite sets (Q3129506) (← links)
- Constraint Logic Programming Using ECL<sup><i>i</i></sup>PS<sup><i>e</i></sup> (Q3595036) (← links)
- Algèbres effectives dans la programmation logique avec contraintes (Q4012670) (← links)
- (Q4353618) (← links)
- (Q4385449) (← links)
- Set Constraints, Pattern Match Analysis, and SMT (Q5098738) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424872) (← links)
- Grid structures and undecidable constraint theories (Q5941204) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)