The following pages link to (Q4386947):
Displaying 9 items.
- Reasoning about termination of pure Prolog programs (Q1308986) (← links)
- Transformational methodology for proving termination of logic programs (Q3841095) (← links)
- Strong termination of logic programs (Q4036282) (← links)
- A methodology for proving termination of logic programs (Q4306397) (← links)
- Proving termination of general Prolog programs (Q5096221) (← links)
- A dynamic approach to characterizing termination of general logic programs (Q5267437) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)
- (Q5740448) (← links)
- Termination of logic programs: Transformational methods revisited (Q5941754) (← links)