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

Details
Bibtex

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},
}