The following pages link to (Q4847002):
Displaying 5 items.
- (Q3819993) (← links)
- Solving Equations by Graph Transformation (Q4923538) (← links)
- Detecting redundant narrowing derivations by the LSE-SL reducibility test (Q5055750) (← links)
- On modularity in term rewriting and narrowing (Q5096311) (← links)
- An optimal narrowing strategy for general canonical systems (Q5881212) (← links)