Unification in Commutative Theories, {H}ilbert's Basis Theorem and {G}röbner Bases

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Unification in Commutative Theories, {H}ilbert's Basis Theorem and {G}röbner Bases

F. BaaderF. Baader

F. Baader
Unification in Commutative Theories, {H}ilbert's Basis Theorem and {G}röbner Bases
J. ACM, 40(3):477--503, 1993

• Details
• Bibtex

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