DMCA

Unifying the Knuth-Bendix, recursive path and polynomial orders (2013)

by Akihisa Yamada , Toshiki Sakabe , Keiichirou Kusakari
Venue:In Proc. PPDP ’13
Citations:4 - 2 self