Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
From International Center for Computational Logic
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
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},
}