Pages that link to "Item:Q3129508"

The following pages link to Automatic finite unfolding using well-founded measures (Q3129508):

Displaying 4 items.

• Type-based homeomorphic embedding for online termination (Q989516) (← links)
• A Study on the Practicality of Poly-Controlled Partial Evaluation (Q2873793) (← links)
• Termination prediction for general logic programs (Q3648357) (← links)
• Loop checks for logic programs with functions (Q5958765) (← links)