Pages that link to "Item:Q1314419"

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

Displayed 1 item.

• Derivation of efficient logic programs by specialization and reduction of nondeterminism (Q815006) ‎ (← links)