Franz Baader
Franz Baader.
Unification in commutative theories, Hilbert's basis theorem and Gröbner bases.
Journal of the ACM
, 40(3):477-503, July 1993.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database