Pages that link to "Item:Q582272"
From MaRDI portal
The following pages link to Matching - a special case of unification? (Q582272):
Displaying 5 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)
