The following pages link to (Q4725721):
Displaying 6 items.
- Adding fuzziness to terms and powerobjects using a monadic approach (Q419043) (← links)
- Constraint logic programming with a relational machine (Q511023) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Unification, weak unification, upper bound, lower bound, and generalization problems (Q5055751) (← links)
- Unification in monoidal theories (Q6488564) (← links)
