Using automated reasoning tools: A study of the semigroup F_ 2B_ 2

DOI10.1007/BF02575007MaRDI QIDQ1095680zbMATH OpenFDO

Authors Ewing 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

zbMATH Keywords

Green relationsinverse semigroupsemilattice of idempotents

Mathematics Subject Classification ID

Review text

The Argonne theorem prover is used to calculate the overall construction, semilattice of idempotents and Green relations of the (72-element) inverse semigroup with two generators, determined by the identity \((xyx')^ 2=xyx'\).

Recommendations

• scientific article; zbMATH DE number 4051903
• Computer solutions of problems in inverse semigroups.
• scientific article; zbMATH DE number 7235380
• Computing with semigroups in GAP. -- A tutorial
• Free Combinatorial Strict Inverse Semigroups

Cites work

• scientific article; zbMATH DE number 3869616 (Why is no real title available?)
• scientific article; zbMATH DE number 4051903 (Why is no real title available?)
• scientific article; zbMATH DE number 4104410 (Why is no real title available?)
• scientific article; zbMATH DE number 3731310 (Why is no real title available?)
• Properties of Relatively Free Inverse Semigroups

Cited in

(6)

• Performance of Muse on switch-based multiprocessor machines
• The application of automated reasoning to questions in mathematics and logic
• Computer solutions of problems in inverse semigroups.
• scientific article; zbMATH DE number 4051903 (Why is no real title available?)
• Parallelizing the closure computation in automated deduction
• Automated reasoning contributes to mathematics and logic

This page was built for publication: Using automated reasoning tools: A study of the semigroup \(F_ 2B_ 2\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1095680)