Pages that link to "Item:Q3003494"

The following pages link to A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (Q3003494):

Displaying 8 items.

• Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
• Cost-augmented partial evaluation of functional logic programs (Q1768472) (← links)
• Explanations as programs in probabilistic logic programming (Q2163172) (← links)
• A framework for computing finite SLD trees (Q2258840) (← links)
• An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
• Fast Offline Partial Evaluation of Large Logic Programs (Q3617434) (← links)
• Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136) (← links)
• Conjunctive partial deduction: foundations, control, algorithms, and experiments (Q4939538) (← links)