Pages that link to "Item:Q3617434"
From MaRDI portal
The following pages link to Fast Offline Partial Evaluation of Large Logic Programs (Q3617434):
Displaying 5 items.
- Fast offline partial evaluation of logic programs (Q2437798) (← links)
- Sonic partial deduction (Q2729912) (← links)
- A Hybrid Approach to Conjunctive Partial Evaluation of Logic Programs (Q3003494) (← links)
- An efficient reasoning method on logic programming using partial evaluation in vector spaces (Q3382822) (← links)
- Annotation of logic programs for independent AND-parallelism by partial evaluation (Q4911136) (← links)