The following pages link to Logic Programming (Q5313208):
Displaying 8 items.
- Semantics of well-moded input consuming logic programs (Q2745732) (← links)
- (Q4411982) (← links)
- Termination of constraint logic programs (Q4572011) (← links)
- A dynamic approach to characterizing termination of general logic programs (Q5267437) (← links)
- Termination of simply moded logic programs with dynamic scheduling (Q5277705) (← links)
- Inferring non-suspension conditions for logic programs with dynamic scheduling (Q5277806) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)
- Program Development in Computational Logic (Q5712545) (← links)