Automated discovery of new axiomatizations of the left group and right group calculi
From MaRDI portal
Publication:688546
DOI10.1007/BF00247824zbMath0782.68105OpenAlexW1984266364MaRDI QIDQ688546
Publication date: 2 January 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00247824
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
OTTER experiments in a system of combinatory logic ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Automatic construction and verification of isotopy invariants ⋮ Computer Solutions of Problems in Inverse Semigroups ⋮ Single axioms for groups and abelian groups with various operations ⋮ The problem of automated theorem finding
Uses Software
This page was built for publication: Automated discovery of new axiomatizations of the left group and right group calculi
