Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufpe.br/handle/123456789/1862
Comparte esta pagina
| Título : | Contributions to the investigations of Lascar strong types in simple theories |
| Autor : | Lewitzka, Steffen |
| Palabras clave : | Simple theories; Lstp stp = (equality of Lascar strong types and strong types |
| Fecha de publicación : | 2003 |
| Editorial : | Universidade Federal de Pernambuco |
| Citación : | 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. |
| Resumen : | 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 en las colecciones: | Teses de Doutorado - Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| arquivo4748_1.pdf | 769,96 kB | Adobe PDF |  Visualizar/Abrir |
Este ítem está protegido por copyright original |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
