Pages that link to "Item:Q1314419"

The following pages link to Sound and complete partial deduction with unfolding based on well-founded measures (Q1314419):

Displaying 2 items.

• Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
• Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) (← links)