Pages that link to "Item:Q1124376"
From MaRDI portal
The following pages link to Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376):
Displaying 4 items.
- Lazy narrowing: strong completeness and eager variable elimination (Q671677) (← links)
- Completeness results for basic narrowing (Q1328184) (← links)
- A debugging scheme for functional logic programs (Q2841284) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)