dc.contributor | José Guerra Barreto de Queiroz, Ruy | |
dc.creator | Lewitzka, Steffen | |
dc.date | 2014-06-12T15:52:47Z | |
dc.date | 2014-06-12T15:52:47Z | |
dc.date | 2003 | |
dc.identifier | 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. | |
dc.identifier | https://repositorio.ufpe.br/handle/123456789/1862 | |
dc.description | 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. | |
dc.format | application/pdf | |
dc.language | eng | |
dc.publisher | Universidade Federal de Pernambuco | |
dc.subject | Simple theories | |
dc.subject | Lstp stp = (equality of Lascar strong types and strong types | |
dc.title | Contributions to the investigations of Lascar strong types in simple theories | |
dc.type | doctoralThesis | |