LATPub14: 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=W. Nutt | |FurtherAuthors=W. Nutt | ||
}} | }} | ||
{{Techreport | {{Techreport | ||
|Title=Adding Homomorphisms to Commutative/Monoidal Theories, or: | |Title=Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification | ||
|Year=1990 | |Year=1990 | ||
|Month= | |Month= | ||
|Institution= | |Institution=Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern | ||
|Note= | |Note= | ||
|Type={DFKI} Research Report | |Type={DFKI} Research Report | ||
| Zeile 32: | Zeile 32: | ||
year = {1990}, | year = {1990}, | ||
} | } | ||
}} | }} | ||
Aktuelle Version vom 25. März 2015, 15:38 Uhr
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Franz BaaderFranz Baader, W. NuttW. Nutt
Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-16, 1990. {DFKI} Research Report
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-16, 1990. {DFKI} Research Report
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@techreport{ DFKI-RR-90-16,
author = {F. {Baader} and W. {Nutt}},
institution = {{D}eutsches {F}orschungszentrum f\"ur {K}\"unstliche {I}ntelligenz, Kaiserslautern},
number = {{RR}-90-16},
title = {Adding Homomorphisms to Commutative/Monoidal Theories, or: {H}ow Algebra Can Help in Equational Unification},
type = {{DFKI} Research Report},
year = {1990},
}
