Using automated reasoning tools: A study of the semigroupF 2 B 2
- 1 December 1987
- journal article
- Published by Springer Nature in Semigroup Forum
- Vol. 36 (1), 75-87
- https://doi.org/10.1007/bf02575007
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- On the Lattice of Varieties of Completely Regular SemigroupsPublished by Springer Nature ,1987