Using automated reasoning tools: A study of the semigroup F2B2.
R. McFadden, E. Lusk (1987)
Semigroup forum
Similarity:
R. McFadden, E. Lusk (1987)
Semigroup forum
Similarity:
H.J. Shyr (1976)
Semigroup forum
Similarity:
J.K. Luedeman (1974)
Semigroup forum
Similarity:
J.B. Kirn (1974)
Semigroup forum
Similarity:
J. Schmidt (1971)
Semigroup forum
Similarity:
John Isbell (1974)
Semigroup forum
Similarity:
B.P. jr. Brooks, W.E. Clark (1971)
Semigroup forum
Similarity:
A.B. Engel (1972)
Semigroup forum
Similarity:
A. Varisco, A. Cherubini (1981)
Semigroup forum
Similarity:
D. Strauss (1992)
Semigroup forum
Similarity: