The following pages link to Unification in Boolean rings (Q1112626):
Displaying 11 items.
- On the complexity of Boolean unification (Q293360) (← links)
- Unification in Boolean rings and Abelian groups (Q582073) (← links)
- Embedding Boolean expressions into logic programming (Q1100935) (← links)
- Hybrid terms and sentences (Q1313083) (← links)
- Unification in free distributive lattices (Q1322163) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- Finitariness of elementary unification in Boolean region connection calculus (Q1687563) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- Unification algorithms cannot be combined in polynomial time. (Q1854364) (← links)
- Boolean unification with predicates (Q2987044) (← links)
- (Q3973133) (← links)