Use este identificador para citar ou linkar para este item:
https://repositorio.ufpe.br/handle/123456789/1862
Compartilhe esta página
| Título: | Contributions to the investigations of Lascar strong types in simple theories |
| Autor(es): | Lewitzka, Steffen |
| Palavras-chave: | Simple theories; Lstp stp = (equality of Lascar strong types and strong types |
| Data do documento: | 2003 |
| Editor: | Universidade Federal de Pernambuco |
| Citação: | 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. |
| 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. |
| URI: | https://repositorio.ufpe.br/handle/123456789/1862 |
| 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
