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
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report
- 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},
}