Use este identificador para citar ou linkar para este item:
https://repositorio.ufpe.br/handle/123456789/1862
Compartilhe esta página
Registro completo de metadados
| Campo DC | Valor | Idioma |
|---|---|---|
| dc.contributor.advisor | José Guerra Barreto de Queiroz, Ruy | pt_BR |
| dc.contributor.author | Lewitzka, Steffen | pt_BR |
| dc.date.accessioned | 2014-06-12T15:52:47Z | - |
| dc.date.available | 2014-06-12T15:52:47Z | - |
| dc.date.issued | 2003 | pt_BR |
| dc.identifier.citation | Lewitzka, Steffen; José Guerra Barreto de Queiroz, Ruy. Contributions to the investigations of Lascar strong types in simple theories. 2003. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2003. | pt_BR |
| dc.identifier.uri | https://repositorio.ufpe.br/handle/123456789/1862 | - |
| dc.description.abstract | Lewitzka, Steffen; José Guerra Barreto de Queiroz, Ruy. Contributions to the investigations of Lascar strong types in simple theories. 2003. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2003. | pt_BR |
| dc.language.iso | eng | pt_BR |
| dc.publisher | Universidade Federal de Pernambuco | pt_BR |
| dc.rights | openAccess | pt_BR |
| dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Brazil | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/br/ | * |
| dc.subject | Simple theories | pt_BR |
| dc.subject | Lstp stp = (equality of Lascar strong types and strong types | pt_BR |
| dc.title | Contributions to the investigations of Lascar strong types in simple theories | pt_BR |
| dc.type | doctoralThesis | pt_BR |
| Aparece nas coleções: | Teses de Doutorado - Ciência da Computação | |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| arquivo4748_1.pdf | 769,96 kB | Adobe PDF |  Visualizar/Abrir |
Este arquivo é protegido por direitos autorais |
Este item está licenciada sob uma Licença Creative Commons
