Pages that link to "Item:Q5055731"
From MaRDI portal
The following pages link to Combining matching algorithms: The regular case (Q5055731):
Displaying 9 items.
- Combining matching algorithms: The regular case (Q1186723) (← links)
- Combining word problems through rewriting in categories with products (Q1398463) (← links)
- Combining decision algorithms for matching in the union of disjoint equational theories (Q1917102) (← links)
- Building and combining matching algorithms (Q2185488) (← links)
- 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)
- Automated Deduction – CADE-19 (Q5900720) (← links)