Pages that link to "Item:Q5055753"
From MaRDI portal
The following pages link to Narrowing directed by a graph of terms (Q5055753):
Displaying 9 items.
- A compositional semantic basis for the analysis of equational Horn programs (Q671509) (← links)
- Loop detection in term rewriting using the eliminating unfoldings (Q944383) (← links)
- Termination of narrowing revisited (Q1035697) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Basic narrowing revisited (Q1824412) (← links)
- Narrowing directed by a graph of terms (Q5055753) (← links)
- On the connection between narrowing and proof by consistency (Q5210767) (← links)
- Termination of Narrowing in Left-Linear Constructor Systems (Q5458432) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)