Pages that link to "Item:Q1119029"

The following pages link to On the transformation of logic programs with instantiation based computation rules (Q1119029):

Displaying 2 items.

• Compiling bottom-up and mixed derivations into top-down executable logic programs (Q809591) (← links)
• A general criterion for avoiding infinite unfolding during partial deduction (Q1205178) (← links)