Pages that link to "Item:Q582073"
From MaRDI portal
The following pages link to Unification in Boolean rings and Abelian groups (Q582073):
Displaying 10 items.
- On the complexity of Boolean unification (Q293360) (← links)
- Efficient general AGH-unification (Q462489) (← links)
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Unification in commutative semigroups (Q1383954) (← links)
- Abstract data type systems (Q1391729) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Boolean functional synthesis: hardness and practical algorithms (Q2050108) (← links)
- Tactics for Reasoning Modulo AC in Coq (Q3100211) (← links)
- Towards Parallel Boolean Functional Synthesis (Q3303903) (← links)
