Pages that link to "Item:Q5055731"
From MaRDI portal
The following pages link to Combining matching algorithms: The regular case (Q5055731):
Displayed 4 items.
- Modular higher-order E-unification (Q5055760) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)
- Second-order unification in the presence of linear shallow algebraic equations (Q5881305) (← links)