Pages that link to "Item:Q5096198"
From MaRDI portal
The following pages link to Eliminating negation from normal logic programs (Q5096198):
Displaying 4 items.
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- A compositional semantics for logic programs (Q1314414) (← links)
- Eliminating disjunctions of leads-to properties (Q1318740) (← links)
- An Algorithm for Local Variable Elimination in Normal Logic Programs (Q5302880) (← links)