Pages that link to "Item:Q1346220"
From MaRDI portal
The following pages link to What is failure? An approach to constructive negation (Q1346220):
Displayed 6 items.
- A necessary condition for constructive negation in constraint logic programming (Q294756) (← links)
- Semantics of structured normal logic programs (Q444364) (← links)
- A functorial framework for constraint normal logic programming (Q934677) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- On correctness of normal logic programs (Q6103020) (← links)