For Better Performance Please Use Chrome or Firefox Web Browser

Applying IsRewritten Criterion on Buchberger Algorithm

Amir Hashemi and Benyamin M.-Alizadeh

"Applying IsRewritten Criterion on Buchberger Algorithm"

Theoretical Computer Science, Volume 412, Issue 35, pages 4592--4603, 2011

Journal Papers
Month/Season: 
January
Year: 
2011