LATPub1

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

Unifikation und Reduktionssysteme für Halbgruppenvarietäten

Franz BaaderFranz Baader

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

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