Pages that link to "Item:Q1111779"

The following pages link to The generalized counting method for recursive logic queries (Q1111779):

Displaying 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)