The following pages link to Most specific logic programs (Q1356224):
Displayed 6 items.
- A note on the parallel complexity of anti-unification (Q688579) (← links)
- Efficient parallel term matching and anti-unification (Q688582) (← links)
- Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
- Most specific logic programs (Q1356224) (← links)
- (Q5020649) (← links)
- The applicability of logic program analysis and transformation to theorem proving (Q5210773) (← links)