Pages that link to "Item:Q5267437"
From MaRDI portal
The following pages link to A dynamic approach to characterizing termination of general logic programs (Q5267437):
Displaying 9 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- A Terminating Evaluation-Driven Variant of G3i (Q2851938) (← links)
- Non-termination analysis of logic programs with integer arithmetics (Q3087440) (← links)
- Termination prediction for general logic programs (Q3648357) (← links)
- (Q4411982) (← links)
- Productive corecursion in logic programming (Q4592714) (← links)
- Termination of simply moded logic programs with dynamic scheduling (Q5277705) (← links)
- A Novel Derivation Framework For Definite Logic Program (Q5415609) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)