Pages that link to "Item:Q3129508"
From MaRDI portal
The following pages link to Automatic finite unfolding using well-founded measures (Q3129508):
Displaying 5 items.
- Toward automating the discovery of decreasing measures (Q861690) (← links)
- 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)