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 Programs1 1This work has been partially supported by CICYT under grant TIC2001-2705-C03-01, by Acción Integrada Hispano-Italiana HI2000-0161, Acción Integrada Hispano-Alemana HA2001-0059 and by Generalitat Valenci (Q2841284) (← links)
- Lazy narrowing: Strong completeness and eager variable elimination (extended abstract) (Q5096745) (← links)
