Pages that link to "Item:Q1199708"

The following pages link to AC-unification race: The system solving approach, implementation and benchmarks (Q1199708):

Displaying 4 items.

• Equational rules for rewriting logic (Q1608925) (← links)
• Modular AC unification of higher-order patterns (Q5096303) (← links)
• “Syntactic” AC-unification (Q5096305) (← links)
• On computing Hilbert bases via the Elliot--MacMahon algorithm (Q5941500) (← links)