Pages that link to "Item:Q671677"
From MaRDI portal
The following pages link to Lazy narrowing: strong completeness and eager variable elimination (Q671677):
Displaying 8 items.
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- The unification problem for confluent right-ground term rewriting systems. (Q1401934) (← links)
- On syntactic forgetting under uniform equivalence (Q2055801) (← links)
- On the limits of forgetting in answer set programming (Q2211850) (← links)
- Semantic forgetting in answer set programming (Q2389674) (← links)
- Evaluation strategies for functional logic programming (Q2456576) (← links)
- General \(E\)-unification with eager variable elimination and a nice cycle rule (Q2642468) (← links)
- Hot Topics in Reduction Strategies (Q2841229) (← links)
