Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)
From MaRDI portal
Publication:1095680
DOI10.1007/BF02575007zbMath0632.68087MaRDI QIDQ1095680
Ewing L. Lusk, Robert B. McFadden
Publication date: 1987
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/134887
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
The application of automated reasoning to questions in mathematics and logic ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ Performance of Muse on switch-based multiprocessor machines
Cites Work
This page was built for publication: Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)