LATPub9: 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= | |FurtherAuthors= | ||
| Zeile 40: | Zeile 40: | ||
year = {1989}, | year = {1989}, | ||
} | } | ||
}} | }} | ||
Version vom 23. März 2015, 13:23 Uhr
Unification Properties of Commutative Theories: A Categorical Treatment
Franz BaaderFranz Baader
Franz Baader
Unification Properties of Commutative Theories: A Categorical Treatment
Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, 273-299, 1989. Springer
Unification Properties of Commutative Theories: A Categorical Treatment
Proceedings of the Conference on Category Theory and Computer Science, volume 389 of Lecture Notes in Computer Science, 273-299, 1989. Springer
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@inproceedings{ Baader-CTCS-89,
address = {Manchester (UK)},
author = {F. {Baader}},
booktitle = {Proceedings of the Conference on Category Theory and Computer Science},
pages = {273--299},
publisher = {Springer--Verlag},
series = {Lecture Notes in Computer Science},
title = {Unification Properties of Commutative Theories: A Categorical Treatment},
volume = {389},
year = {1989},
}
