Pages that link to "Item:Q1127337"
From MaRDI portal
The following pages link to A rewrite mechanism for logic programs with negation (Q1127337):
Displaying 6 items.
- Transforming normal logic programs to constraint logic programs (Q1200979) (← links)
- Rewriting Guarded Negation Queries (Q2849901) (← links)
- Answer Synthesis for CLP Programs with Negation (Q4340538) (← links)
- A rewrite mechanism for logic programs with negation (Q5055829) (← links)
- A rewrite approach for constraint logic programming (Q5096353) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5709989) (← links)