%0 Journal Article %1 journals/afp/ImmlerM16 %A Immler, Fabian %A Maletzky, Alexander %D 2016 %J Arch. Formal Proofs %K dblp %T Gröbner Bases Theory. %U http://dblp.uni-trier.de/db/journals/afp/afp2016.html#ImmlerM16 %V 2016

@article{journals/afp/ImmlerM16, added-at = {2020-05-25T00:00:00.000+0200}, author = {Immler, Fabian and Maletzky, Alexander}, biburl = {https://www.bibsonomy.org/bibtex/2f2e54d6d2d729678fc88e66e018ee89a/dblp}, ee = {https://www.isa-afp.org/entries/Groebner_Bases.shtml}, interhash = {9ce718e29c0f13fee7af9e496406bd83}, intrahash = {f2e54d6d2d729678fc88e66e018ee89a}, journal = {Arch. Formal Proofs}, keywords = {dblp}, timestamp = {2020-05-26T11:50:05.000+0200}, title = {Gröbner Bases Theory.}, url = {http://dblp.uni-trier.de/db/journals/afp/afp2016.html#ImmlerM16}, volume = 2016, year = 2016 }