Pages that link to "Item:Q2844061"
From MaRDI portal
The following pages link to A narrowing-based instantiation rule for rewriting-based fold/unfold transformations (Q2844061):
Displaying 4 items.
- A class of rewriting rules and reverse transformation for rule-based equivalent transformation (Q2841245) (← links)
- (Q4364365) (← links)
- Efficient Unfolding of Fuzzy Connectives for Multi-adjoint Logic Programs (Q5214098) (← links)
- Guided unfoldings for finding loops in standard term rewriting (Q6085974) (← links)