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

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

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