LATPub38: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Marcel Lippmann (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
{{Publikation Erster Autor | {{Publikation Erster Autor | ||
|ErsterAutorVorname= | |ErsterAutorVorname=Franz | ||
|ErsterAutorNachname=Baader | |ErsterAutorNachname=Baader | ||
|FurtherAuthors=J. Siekmann; W. Snyder | |FurtherAuthors=J. Siekmann; W. Snyder | ||
| Zeile 36: | Zeile 36: | ||
year = {1992}, | year = {1992}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
6th Workshop on Unification
Franz BaaderFranz Baader, J. SiekmannJ. Siekmann, W. SnyderW. Snyder
Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@book{ BaaderSiekmannSnyderUnif,
address = {{IBFI} {GmbH}, {S}chlo{\ss} {D}agstuhl, Germany},
booktitle = {6th {W}orkshop on {U}nification},
editor = {F. {Baader} and J. {Siekmann} and W. {Snyder}},
series = {Dagstuhl-Seminar-Report 42},
title = {6th {W}orkshop on {U}nification},
year = {1992},
}
