Semigroup Forum

, Volume 36, Issue 1, pp 75–87 | Cite as

Using automated reasoning tools: A study of the semigroupF2B2

  • Ewing Lusk
  • Robert McFadden
Research Article


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Clocksin, W. F. and C. S. Mellish,Programming in Prolog, Springer-Verlag, New York. (1981)Google Scholar
  2. 2.
    Lusk, E. L. and R. A. Overbeek, “The automated reasoning system ITP”, ANL-84-27, Argonne National Laboratory. (1984)Google Scholar
  3. 3.
    McFadden, R. B., “Automated theorem proving applied to the theory of semigroups”, Tagungsbericht, Oberwolfach. (1986)Google Scholar
  4. 4.
    Petrich, M.,Inverse Semigroups, Wiley & Sons, New York. (1984)Google Scholar
  5. 5.
    Reilly, N. R., “The Lattice of varieties of inverse semigroups”, Tagungsbericht, Oberwolfach. (1986)Google Scholar
  6. 6.
    Wos, L., R. Overbeek, E. Lusk, and J. Boyle,Automated Reasoning: Introduction and Applications, Prentice-Hall, Englewood Cliffs, New Jersey. (1984)Google Scholar

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