The following pages link to (Q4854006):
Displaying 9 items.
- An analysis of loop checking mechanisms for logic programs (Q1177923) (← links)
- Generalizing completeness results for loop checks in logic programming (Q1199926) (← links)
- Loop checking in SLD-derivations by well-quasi-ordering of goals (Q1575249) (← links)
- Redundancy elimination and loop checks for logic programs (Q1893733) (← links)
- More on looping vs. repeating in dynamic logic (Q2265813) (← links)
- Computing Preconditions and Postconditions of While Loops (Q3105751) (← links)
- A New Approach to Non-termination Analysis of Logic Programs (Q4649732) (← links)
- Loop checking in partial deduction (Q5286916) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)
