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
J. ACM, 40(3):477-503, 1993
- Forschungsgruppe:Research Group: Automatentheorie
@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}, }