Term Rewriting for the Conjugacy Problem
β
John Pedersen; Margaret Yoder
π
Article
π
1994
π
Elsevier Science
π
English
β 312 KB