Unifikation und Reduktionssysteme für Halbgruppenvarietäten

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Unifikation und Reduktionssysteme für Halbgruppenvarietäten

Franz BaaderFranz Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietäten


Franz Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht
@techreport{ IMMD-89-22-8,
  author = {F. {Baader}},
  institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung, Universit{\"a}t Erlangen},
  note = {Dissertation},
  number = {8},
  title = {Unifikation und {R}eduktionssysteme f{\"u}r {H}albgruppenvariet{\"a}ten},
  type = {Arbeitsbericht},
  volume = {22},
  year = {1989},
}