Journal of the ACM Bibliography

Franz Baader. Unification in commutative theories, Hilbert's basis theorem and Gröbner bases. Journal of the ACM, 40(3):477-503, July 1993. [BibTeX entry]
Selected papers that cite this one


Shortcuts:

  • Journal of the ACM homepage
  • Bibliography top level
  • Journal of the ACM Author Index
  • Search the HBP database