The following pages link to (Q4954441):
Displaying 13 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- Implementing constructive intensional negation (Q839831) (← links)
- S-semantics for logic programming: a retrospective look (Q1035702) (← links)
- Negation and constraint logic programming (Q1891129) (← links)
- Negation in combining constraint systems (Q2782487) (← links)
- Inhibited Effects in CP-Logic (Q2938419) (← links)
- Answer Synthesis for CLP Programs with Negation (Q4340538) (← links)
- Négation constructive et axiomatique interne (Q4385672) (← links)
- αCheck: A mechanized metatheory model checker (Q4593089) (← links)
- (Q4955338) (← links)
- A rewrite approach for constraint logic programming (Q5096353) (← links)
- Functional and Logic Programming (Q5308011) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)