Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.2/2002
Título: Computer solutions of problems in inverse semigroups
Autor: Araújo, João
McCune, William
Palavras-chave: Automated reasoning
Equational logic
Groups
Luver semigroup
Data: 2010
Editora: Taylor & Francis
Citação: 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
Resumo: 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.
Peer review: yes
URI: http://hdl.handle.net/10400.2/2002
ISSN: 0092-7872
Versão do Editor: http://www.tandfonline.com/doi/abs/10.1080/00927870902911797
Aparece nas colecções:Matemática e Estatística - Artigos em revistas internacionais / Papers in international journals

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
5.pdf241,09 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.