The following pages link to Unification in Boolean rings (Q1112626):
Displaying 6 items.
- On the complexity of Boolean unification (Q293360) (← links)
- Hybrid terms and sentences (Q1313083) (← links)
- Unification in free distributive lattices (Q1322163) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
