The following pages link to (Q3786022):
Displaying 7 items.
- Unification in Boolean rings and Abelian groups (Q582073) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- Embedding Boolean expressions into logic programming (Q1100935) (← links)
- Unification in Boolean rings (Q1112626) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
