Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases

Franz BaaderFranz Baader

Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
J. ACM, 40(3):477-503, 1993

• Details
• Bibtex

• 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},
}