Made available in DSpace on 2014-06-12T15:52:47Z (GMT). No. of bitstreams: 2
arquivo4748_1.pdf: 788444 bytes, checksum: bf529ae650fd6acfbf8f43c0335c33fd (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2003 / 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.
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/1862 |
Date | January 2003 |
Creators | Lewitzka, Steffen |
Contributors | José Guerra Barreto de Queiroz, Ruy |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | English |
Detected Language | English |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0025 seconds