Pages that link to "Item:Q1329744"

The following pages link to The role of standardising apart in logic programming (Q1329744):

Displaying 2 items.

• First-order theories for pure Prolog programs with negation (Q1892097) (← links)
• Optimality in goal-dependent analysis of Sharing (Q3181746) (← links)