Die S-Varietät DS und einige Untervarietäten

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

Die S-Varietät DS und einige Untervarietäten

Franz BaaderFranz Baader
Die S-Varietät DS und einige Untervarietäten


Franz Baader
Die S-Varietät DS und einige Untervarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1985. Arbeitsbericht
@techreport{ IMMD-85-18-8,
  author = {F. {Baader}},
  institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung, Universit{\"a}t Erlangen},
  number = {8},
  title = {Die {S}-{V}ariet{\"a}t {DS} und einige {U}ntervariet{\"a}ten},
  type = {Arbeitsbericht},
  volume = {18},
  year = {1985},
}