Pages that link to "Item:Q1199708"
From MaRDI portal
The following pages link to AC-unification race: The system solving approach, implementation and benchmarks (Q1199708):
Displaying 5 items.
- Competing for the \(AC\)-unification race (Q1319390) (← links)
- 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)