Pages that link to "Item:Q1318707"

The following pages link to Norms on terms and their use in proving universal termination of a logic program (Q1318707):

Displaying 1 item.

• Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)