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
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

@techreport{ SEKI-SR-90-1,
  author = {F. {Baader}},
  institution = {Universit\"at Kaiserslautern},
  number = {{SR}-90-1},
  title = {Unification in Commutative Theories, {H}ilbert's Basis Theorem and {G}r\"obner Bases},
  type = {{SEKI} Report},
  year = {1990},
}