author = {B. Buchberger},
title = {{Groebner Rings}},
language = {english},
year = {2001},
month = {December 7-14},
annote = {2001-12-07-A},
note = {Contributed talk at International Conference on Computational Algebraic Geometry, University of Hyderabad, India},
keywords = {axiomatic approach to Groebner bases theory, least common reducibles, functor implementation, automated theorem proving, Theorema},
conferencename = {International Conference on Computational Algebraic Geometry, University of Hyderabad, India}