Pages that link to "Item:Q294756"
From MaRDI portal
The following pages link to A necessary condition for constructive negation in constraint logic programming (Q294756):
Displaying 8 items.
- Implementing constructive intensional negation (Q839831) (← links)
- Negation in combining constraint systems (Q2782487) (← links)
- Négation constructive et axiomatique interne (Q4385672) (← links)
- Preface (Q4593090) (← links)
- (Q4954441) (← links)
- Selective Unification in (Constraint) Logic Programming* (Q4988929) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)