Pages that link to "Item:Q1111779"
From MaRDI portal
The following pages link to The generalized counting method for recursive logic queries (Q1111779):
Displaying 5 items.
- Inherent complexity of recursive queries (Q696953) (← links)
- A counting algorithm for a cyclic binary query (Q1176288) (← 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)