Rewrite Systems for Varieties of Semigroups
From International Center for Computational Logic
Rewrite Systems for Varieties of Semigroups
Franz BaaderFranz Baader
![Rewrite Systems for Varieties of Semigroups Rewrite Systems for Varieties of Semigroups](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
@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},
}