APPLYING BUCHBERGER S CRITERIA FOR COMPUTING GROBNER BASES OVER FINITE-CHAIN RINGS كاربرد محكهاي بوخبرگر براي محاسبه پايه هاي گربنر روي حلقه هاي زنجير-متناهي doi # 2013-04 Article type Journal