LATPub2

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

{{Publikation Details |Abstract= |ISBN= |ISSN= |Link= |Download= |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@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},

} }}