Unification in commutative theories, Hilbert's basis theorem and Gröbner bases

New York, NY / Association for Computing Machinery (1993) [Fachzeitschriftenartikel]

Journal of the ACM
Band: 40
Seite(n): 477-503

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Baader, Franz

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-055785