Pages that link to "Item:Q1111779"
From MaRDI portal
The following pages link to The generalized counting method for recursive logic queries (Q1111779):
Displayed 4 items.
- Inherent complexity of recursive queries (Q696953) (← links)
- Testing logic programs for local stratification (Q1199536) (← links)
- Well-founded semantics and stratification for ordered logic programs (Q1313371) (← links)
- The pushdown method to optimize chain logic programs (Q4645206) (← links)