Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Aus International Center for Computational Logic
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Franz BaaderFranz Baader
![Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
J. ACM, 40(3):477-503, 1993
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
J. ACM, 40(3):477-503, 1993
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ Baader-JACM-93,
author = {F. {Baader}},
journal = {J. ACM},
number = {3},
pages = {477--503},
title = {Unification in Commutative Theories, {H}ilbert's Basis Theorem and {G}r\"obner Bases},
volume = {40},
year = {1993},
}