Pages that link to "Item:Q3003494"
From MaRDI portal
The following pages link to A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (Q3003494):
Displayed 4 items.
- Abstract conjunctive partial deduction for the analysis and compilation of coroutines (Q511025) (← links)
- Explanations as programs in probabilistic logic programming (Q2163172) (← links)
- A framework for computing finite SLD trees (Q2258840) (← links)
- Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136) (← links)