Pages that link to "Item:Q582272"
From MaRDI portal
The following pages link to Matching - a special case of unification? (Q582272):
Displaying 8 items.
- Unification in a combination of arbitrary disjoint equational theories (Q582270) (← links)
- Equational unification, word unification, and 2nd-order equational unification (Q1129255) (← links)
- Combining matching algorithms: The regular case (Q1186723) (← links)
- Reduction rules for resolution-based systems (Q1187214) (← links)
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- Modular higher-order E-unification (Q5055760) (← links)
- Some independence results for equational unification (Q5055843) (← links)
- Unification of concept terms in description logics (Q5929707) (← links)
