Unification in Varieties of Completely Regular Semigroups

From International Center for Computational Logic

Toggle side column

Unification in Varieties of Completely Regular Semigroups

Franz BaaderFranz Baader
Unification in Varieties of Completely Regular Semigroups


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