Contributions to the investigations of Lascar strong types in simple theories

dc.contributorJosé Guerra Barreto de Queiroz, Ruy
dc.creatorLewitzka, Steffen
dc.date2014-06-12T15:52:47Z
dc.date2014-06-12T15:52:47Z
dc.date2003
dc.identifierLewitzka, 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.identifierhttps://repositorio.ufpe.br/handle/123456789/1862
dc.descriptionLewitzka, 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.formatapplication/pdf
dc.languageeng
dc.publisherUniversidade Federal de Pernambuco
dc.subjectSimple theories
dc.subjectLstp stp = (equality of Lascar strong types and strong types
dc.titleContributions to the investigations of Lascar strong types in simple theories
dc.typedoctoralThesis


Este ítem pertenece a la siguiente institución