Pages that link to "Item:Q918541"
From MaRDI portal
The following pages link to Conditional equational theories and complete sets of transformations (Q918541):
Displaying 5 items.
- Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
- Foundations of equational logic programming (Q1801319) (← links)
- Higher-order unification revisited: Complete sets of transformations (Q1823936) (← links)
- Combining Logic Programming and Equation Solving (Q3348390) (← links)
- Equation solving in conditional AC-theories (Q5096202) (← links)