Pages that link to "Item:Q915479"

The following pages link to Preservation of stronger equivalence in unfold/fold logic program transformation (Q915479):

Displaying 8 items.

• Unfold/fold transformations for disjunctive logic programs (Q287026) (← links)
• Unfolding--definition--folding, in this order, for avoiding unnecessary variables in logic programs (Q673496) (← links)
• Preservation of stronger equivalence in unfold/fold logic program transformation (Q915479) (← links)
• Unfold/fold transformation of stratified programs (Q1177929) (← links)
• Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation (Q1322838) (← links)
• Linearisability on Datalog programs (Q1884881) (← links)
• Rules + strategies for transforming lazy functional logic programs (Q1884942) (← links)
• Optimizing Fuzzy Logic Programs by Unfolding, Aggregation and Folding (Q5415653) (← links)