Pages that link to "Item:Q671677"
From MaRDI portal
The following pages link to Lazy narrowing: strong completeness and eager variable elimination (Q671677):
Displayed 4 items.
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- The unification problem for confluent right-ground term rewriting systems. (Q1401934) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)