Pages that link to "Item:Q5958765"
From MaRDI portal
The following pages link to Loop checks for logic programs with functions (Q5958765):
Displaying 6 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)
- A non-termination criterion for binary constraint logic programs (Q3621267) (← links)
- Termination prediction for general logic programs (Q3648357) (← links)
- (Q4854006) (← links)