Pages that link to "Item:Q4285641"

The following pages link to Correctness of unification without occur check in prolog (Q4285641):

Displaying 2 items.

• Verification of logic programs with delay declarations (Q5096380) (← links)
• A relaxed condition for avoiding the occur-check (Q6076347) (← links)