Pages that link to "Item:Q582272"
From MaRDI portal
The following pages link to Matching - a special case of unification? (Q582272):
Displaying 13 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)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Complexity of nilpotent unification and matching problems. (Q1854363) (← links)
- A remark on infinite matching vs infinite unification (Q2563693) (← links)
- Tractable and intractable second-order matching problems (Q2643530) (← 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)
- Unification in a combination of equational theories: an efficient algorithm (Q6488538) (← links)