Hashemi, Amir; M.-Alizadeh, Benyamin Applying IsRewritten criterion on Buchberger algorithm. (English) Zbl 1221.68299 Theor. Comput. Sci. 412, No. 35, 4592-4603 (2011). MSC: 68W30 68-04 13P10 PDFBibTeX XMLCite \textit{A. Hashemi} and \textit{B. M. -Alizadeh}, Theor. Comput. Sci. 412, No. 35, 4592--4603 (2011; Zbl 1221.68299) Full Text: DOI
Shirayanagi, Kiyoshi; Sekigawa, Hiroshi A new Gröbner basis conversion method based on stabilization techniques. (English) Zbl 1181.68329 Theor. Comput. Sci. 409, No. 2, 311-317 (2008). MSC: 68W30 13P10 PDFBibTeX XMLCite \textit{K. Shirayanagi} and \textit{H. Sekigawa}, Theor. Comput. Sci. 409, No. 2, 311--317 (2008; Zbl 1181.68329) Full Text: DOI
Apel, J. Computational ideal theory in finitely generated extension rings. (English) Zbl 0945.68197 Theor. Comput. Sci. 244, No. 1-2, 1-33 (2000). MSC: 68W30 68W05 13P10 PDFBibTeX XMLCite \textit{J. Apel}, Theor. Comput. Sci. 244, No. 1--2, 1--33 (2000; Zbl 0945.68197) Full Text: DOI
Amrhein, Beatrice; Gloor, Oliver; Küchlin, Wolfgang On the walk. (English) Zbl 0895.13012 Theor. Comput. Sci. 187, No. 1-2, 179-202 (1997). MSC: 13P10 PDFBibTeX XMLCite \textit{B. Amrhein} et al., Theor. Comput. Sci. 187, No. 1--2, 179--202 (1997; Zbl 0895.13012) Full Text: DOI
Zenger, Christoph Indexed types. (English) Zbl 0893.68086 Theor. Comput. Sci. 187, No. 1-2, 147-165 (1997). MSC: 68W30 PDFBibTeX XMLCite \textit{C. Zenger}, Theor. Comput. Sci. 187, No. 1--2, 147--165 (1997; Zbl 0893.68086) Full Text: DOI
Bündgen, Reinhard Buchberger’s algorithm: The term rewriter’s point of view. (English) Zbl 0871.68088 Theor. Comput. Sci. 159, No. 2, 143-190 (1996). MSC: 68W10 68Q42 PDFBibTeX XMLCite \textit{R. Bündgen}, Theor. Comput. Sci. 159, No. 2, 143--190 (1996; Zbl 0871.68088) Full Text: DOI
Mora, Teo An introduction to commutative and noncommutative Gröbner bases. (English) Zbl 0824.68056 Theor. Comput. Sci. 134, No. 1, 131-173 (1994). MSC: 68W30 PDFBibTeX XMLCite \textit{T. Mora}, Theor. Comput. Sci. 134, No. 1, 131--173 (1994; Zbl 0824.68056) Full Text: DOI
Melançon, Guy Constructions of standard bases of right \(K\langle A\rangle\)- modules. (Constructions des bases standard des \(K\langle A\rangle\)-modules à droite.) (French) Zbl 0798.16013 Theor. Comput. Sci. 117, No. 1-2, 255-272 (1993). Reviewer: M.Volkov (Sverdlovsk) MSC: 16S10 13P10 16D25 68W30 68R15 PDFBibTeX XMLCite \textit{G. Melançon}, Theor. Comput. Sci. 117, No. 1--2, 255--272 (1993; Zbl 0798.16013) Full Text: DOI