Adding homomorphisms to commutative/monoidal theories or how algebra can help in equational unification

Bibliographische Detailangaben

1. Verfasser:	Baader, Franz (VerfasserIn)
Weitere Verfasser:	Nutt, Werner (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Kaiserslautern DFKI 1990
Schriftenreihe:	Research Report / Deutsches Forschungszentrum für Künstliche Intelligenz 90-16
Schlagworte:	Bericht > Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!