Rewrite Systems for Varieties of Semigroups

Franz BaaderFranz Baader

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

Details
Bibtex

Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

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