Geodesic
Using automated reasoning tools: A study of the semigroup F2B2.
Semigroup forum, Tome 36 (1987), pp. 75-88.

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : semilattice of idempotents, Green relations, inverse semigroup 
@article{SF_1987__36_134887,
     author = {R. McFadden and E. Lusk},
     title = {Using automated reasoning tools: {A} study of the semigroup {F2B2.}},
     journal = {Semigroup forum},
     pages = {75--88},
     publisher = {mathdoc},
     volume = {36},
     year = {1987},
     zbl = {0632.68087},
     url = {http://geodesic.mathdoc.fr/item/SF_1987__36_134887/}
}
TY  - JOUR
AU  - R. McFadden
AU  - E. Lusk
TI  - Using automated reasoning tools: A study of the semigroup F2B2.
JO  - Semigroup forum
PY  - 1987
SP  - 75
EP  - 88
VL  - 36
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SF_1987__36_134887/
ID  - SF_1987__36_134887
ER  - 
%0 Journal Article
%A R. McFadden
%A E. Lusk
%T Using automated reasoning tools: A study of the semigroup F2B2.
%J Semigroup forum
%D 1987
%P 75-88
%V 36
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SF_1987__36_134887/
%F SF_1987__36_134887
R. McFadden; E. Lusk. Using automated reasoning tools: A study of the semigroup F2B2.. Semigroup forum, Tome 36 (1987), pp. 75-88. http://geodesic.mathdoc.fr/item/SF_1987__36_134887/