Semigroup Forum

, Volume 36, Issue 1, pp 75–87

Using automated reasoning tools: A study of the semigroupF2B2

  • Ewing Lusk
  • Robert McFadden
Research Article

DOI: 10.1007/BF02575007

Cite this article as:
Lusk, E. & McFadden, R. Semigroup Forum (1987) 36: 75. doi:10.1007/BF02575007

Copyright information

© Springer-Verlag New York Inc. 1987

Authors and Affiliations

  • Ewing Lusk
    • 1
    • 2
  • Robert McFadden
    • 1
    • 2
  1. 1.Argonne National LaboratoryMathematics and Computer Science DivisionArgonne
  2. 2.Department of Mathematical SciencesNorthern Illinois UniversityDeKalb

Personalised recommendations