Pages that link to "Item:Q2850664"
From MaRDI portal
The following pages link to Elimination of local variables from definite logic programs (Q2850664):
Displaying 4 items.
- Extra variables can be eliminated from functional logic programs (Q2867956) (← links)
- (Q3593502) (← links)
- An Algorithm for Local Variable Elimination in Normal Logic Programs (Q5302880) (← links)
- A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs (Q5504662) (← links)