Rewrite Systems for Varieties of Semigroups

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Rewrite Systems for Varieties of Semigroups

Franz BaaderFranz Baader
Rewrite Systems for Varieties of Semigroups


Franz Baader
Rewrite Systems for Varieties of Semigroups
Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, 396-410, 1990. Springer
The final publication is available at Springer.
@inproceedings{ Baader-CADE-90,
  address = {Kaiserslautern (Germany)},
  author = {F. {Baader}},
  booktitle = {Proceedings of the 10th International Conference on Automated Deduction, {CADE}-90},
  pages = {396--410},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Rewrite Systems for Varieties of Semigroups},
  volume = {488},
  year = {1990},
}