Pages that link to "Item:Q1346220"
From MaRDI portal
The following pages link to What is failure? An approach to constructive negation (Q1346220):
Displaying 11 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)
- Negation as failure for disjunctive logic programming (Q1924818) (← links)
- An extended constraint deductive database: theory and implementation (Q2436517) (← links)
- Failure and equality in functional logic programming (Q2844060) (← links)
- Successes and failures in the construction of NESS-states (Q3560981) (← links)
- Regular search spaces and constructive negation (Q4344699) (← links)
- (Q4448344) (← links)
- Constructive negation and constraint logic programming with sets (Q5945160) (← links)
- On correctness of normal logic programs (Q6103020) (← links)