LATPub1: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) K (1 Version) |
||
| (2 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors= | |FurtherAuthors= | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
|Title=Unifikation und | |Title=Unifikation und Reduktionssysteme für Halbgruppenvarietäten | ||
|Year=1989 | |Year=1989 | ||
|Month= | |Month= | ||
| Zeile 34: | Zeile 34: | ||
year = {1989}, | year = {1989}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 15:37 Uhr
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
Unifikation und Reduktionssysteme für Halbgruppenvarietäten
Technical Report, Institut für Mathematische Maschinen und Datenverarbeitung, Universität Erlangen, volume 8, 1989. Arbeitsbericht
- 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},
}
