Automated discovery of new axiomatizations of the left group and right group calculi
From MaRDI portal
(Redirected from Publication:688546)
Recommendations
Cited in
(8)- Automatic construction and verification of isotopy invariants
- The problem of automated theorem finding
- Conquering the Meredith single axiom
- Computer solutions of problems in inverse semigroups.
- Single axioms for the left group and right group calculi
- OTTER experiments in a system of combinatory logic
- Single axioms for groups and abelian groups with various operations
- A method for finding new sets of axioms for classes of semigroups.
This page was built for publication: Automated discovery of new axiomatizations of the left group and right group calculi
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688546)