Unifikation und {R}eduktionssysteme für {H}albgruppenvarietäten

F. BaaderF. Baader

F. Baader
Unifikation und {R}eduktionssysteme für {H}albgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht

Details
Bibtex

Bemerkung: Note: Dissertation
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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