LATPub21

PublikationenPublications

• Nach AutorBy Author
  • Franz BaaderFranz Baader
• Nach ForschungsgruppeBy Research Group
  • AutomatentheorieAutomata Theory

Toggle side column

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