Pages that link to "Item:Q1199926"

The following pages link to Generalizing completeness results for loop checks in logic programming (Q1199926):

Displaying 2 items.

• The role of standardising apart in logic programming (Q1329744) (← links)
• Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)