LATPub1

PublikationenPublications

• Nach AutorBy Author
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Unifikation und Reduktionssysteme für Halbgruppenvarietäten

F. BaaderF. Baader

F. Baader
Unifikation und Reduktionssysteme für Halbgruppenvarietä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},
}