LATPub3: 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=W. Büttner | |FurtherAuthors=W. Büttner | ||
| Zeile 35: | Zeile 35: | ||
year = {1988}, | year = {1988}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
Unification in Commutative Idempotent Monoids
Franz BaaderFranz Baader, W. BüttnerW. Büttner
Franz Baader, W. Büttner
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
Unification in Commutative Idempotent Monoids
J. Theoretical Computer Science, 56:345-352, 1988
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@article{ BaaderBuettner-TCS-88,
author = {F. {Baader} and W. {B{\"u}ttner}},
journal = {J. Theoretical Computer Science},
pages = {345--352},
title = {Unification in Commutative Idempotent Monoids},
volume = {56},
year = {1988},
}
