Publication
Computer solutions of problems in inverse semigroups
| dc.contributor.author | Araújo, João | |
| dc.contributor.author | McCune, William | |
| dc.date.accessioned | 2011-12-19T13:31:44Z | |
| dc.date.available | 2011-12-19T13:31:44Z | |
| dc.date.issued | 2010 | |
| dc.description.abstract | In 1981, Tamura posed a number of problems regarding the axiomatic definition of inverse semigroups. The main goal of this article is to use automated reasoning to solve these problems. In the process, we find some new defining sets of identities for the class of inverse semigroups and provide a single identity for groups in terms of two binary operations. | por |
| dc.identifier.citation | Araújo, João; McCune, William - Computer solutions of problems in inverse semigroups. "Communications in Algebra" [Em linha]. ISSN 0092-7872 (Print) 1532-4125 (Online). Vol. 38, nº3 (2010), p. 1104-1121 | por |
| dc.identifier.issn | 0092-7872 | |
| dc.identifier.uri | http://hdl.handle.net/10400.2/2002 | |
| dc.language.iso | eng | por |
| dc.peerreviewed | yes | por |
| dc.publisher | Taylor & Francis | por |
| dc.relation.publisherversion | http://www.tandfonline.com/doi/abs/10.1080/00927870902911797 | por |
| dc.subject | Automated reasoning | por |
| dc.subject | Equational logic | por |
| dc.subject | Groups | por |
| dc.subject | Luver semigroup | por |
| dc.title | Computer solutions of problems in inverse semigroups | por |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 1121 | por |
| oaire.citation.startPage | 1104 | por |
| person.familyName | Ribeiro Soares Gonçalves de Araújo | |
| person.givenName | João Jorge | |
| person.identifier.ciencia-id | EC1F-273A-9F24 | |
| person.identifier.orcid | 0000-0001-6655-2172 | |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | article | por |
| relation.isAuthorOfPublication | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 | |
| relation.isAuthorOfPublication.latestForDiscovery | 1f7b349c-3251-480d-a3ac-e3cb4ef44f22 |