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
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 124-135, 1991. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderNutt-RTA-91,
  address = {Como (Italy)},
  author = {F. {Baader} and W. {Nutt}},
  booktitle = {Proceedings of the 4th International Conference on Rewriting Techniques and Applications, {RTA} 91},
  pages = {124--135},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Adding Homomorphisms to Commutative/Monoidal Theories, or: {H}ow Algebra Can Help in Equational Unification},
  volume = {488},
  year = {1991},
}