Pages that link to "Item:Q3761667"
From MaRDI portal
The following pages link to Extended unification algorithms for the integration of functional programming into logic programming (Q3761667):
Displaying 9 items.
- Interval propagation to reason about sets: Definition and implementation of a practical language (Q679421) (← links)
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- A logic language for combinatorial optimization (Q918429) (← links)
- Enumerating outer narrowing derivations for constructor-based term rewriting systems (Q1124376) (← links)
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- How efficient is a global constraint in practice? A fair experimental framework (Q1706598) (← links)
- Unification modulo an equality theory for equational logic programming (Q2639627) (← links)
- Lazy Constraint Imposing for Improving the Path Constraint (Q5170285) (← links)
- An universal termination condition for solving goals in equational languages (Q5881302) (← links)