Value monoids of zero-dimensional valuations of rank 1

Classically, Grobner bases are computed by first prescribing a fixed monomial order. Moss Sweedler suggested an alternative in the mid-1980s and developed a framework for performing such computations by using valuation rings in place of monomial orders. We build on these ideas by providing a class of valuations on K(x,y) that are suitable for this framework. We then perform such computations for ideals in the polynomial ring K[x,y]. Interestingly, for these valuations, some ideals have finite Grobner bases with respect to a valuation that are not Grobner bases with respect to any monomial order, whereas other ideals only have Grobner bases that are infinite.