Research Article

Semigroup Forum

, Volume 36, Issue 1, pp 75-87

First online:

Using automated reasoning tools: A study of the semigroupF 2 B 2

  • Ewing LuskAffiliated withArgonne National Laboratory, Mathematics and Computer Science DivisionDepartment of Mathematical Sciences, Northern Illinois University
  • , Robert McFaddenAffiliated withArgonne National Laboratory, Mathematics and Computer Science DivisionDepartment of Mathematical Sciences, Northern Illinois University

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access