Pages that link to "Item:Q5712539"
From MaRDI portal
The following pages link to Program Development in Computational Logic (Q5712539):
Displaying 10 items.
- On the existence of nonterminating queries for a restricted class of PROLOG-clauses (Q582150) (← links)
- Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
- Strong termination of logic programs (Q4036282) (← links)
- Termination of logic programs: the never-ending story (Q4305628) (← links)
- Termination of constraint logic programs (Q4572011) (← links)
- A dynamic approach to characterizing termination of general logic programs (Q5267437) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)
- Input-Termination of Logic Programs (Q5458804) (← links)
- On Termination of Binary CLP Programs (Q5458805) (← links)
- Termination of logic programs: Transformational methods revisited (Q5941754) (← links)