Unification in Varieties of Completely Regular Semigroups

Franz BaaderFranz Baader

Franz Baader
Unification in Varieties of Completely Regular Semigroups
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 210-230, 1991. Springer

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ BaaderB-IWWERT-91,
  address = {T\"ubingen (Germany)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the First International Workshop on Word Equations and Related Topics, {IWWERT-90}},
  pages = {210--230},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Unification in Varieties of Completely Regular Semigroups},
  volume = {572},
  year = {1991},
}