Contributions to the investigations of Lascar strong types in simple theories
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 Barr...
Main Author: | |
---|---|
Other Authors: | |
Language: | English |
Published: |
Universidade Federal de Pernambuco
2014
|
Subjects: | |
Online Access: | https://repositorio.ufpe.br/handle/123456789/1862 |
id |
ndltd-IBICT-oai-repositorio.ufpe.br-123456789-1862 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-IBICT-oai-repositorio.ufpe.br-123456789-18622019-01-21T19:02:59Z Contributions to the investigations of Lascar strong types in simple theories Lewitzka, Steffen José Guerra Barreto de Queiroz, Ruy Simple theories Lstp stp = (equality of Lascar strong types and strong types 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. 2014-06-12T15:52:47Z 2014-06-12T15:52:47Z 2003 info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis 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. https://repositorio.ufpe.br/handle/123456789/1862 eng info:eu-repo/semantics/openAccess Universidade Federal de Pernambuco reponame:Repositório Institucional da UFPE instname:Universidade Federal de Pernambuco instacron:UFPE |
collection |
NDLTD |
language |
English |
sources |
NDLTD |
topic |
Simple theories Lstp stp = (equality of Lascar strong types and strong types |
spellingShingle |
Simple theories Lstp stp = (equality of Lascar strong types and strong types Lewitzka, Steffen Contributions to the investigations of Lascar strong types in simple theories |
description |
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. |
author2 |
José Guerra Barreto de Queiroz, Ruy |
author_facet |
José Guerra Barreto de Queiroz, Ruy Lewitzka, Steffen |
author |
Lewitzka, Steffen |
author_sort |
Lewitzka, Steffen |
title |
Contributions to the investigations of Lascar strong types in simple theories |
title_short |
Contributions to the investigations of Lascar strong types in simple theories |
title_full |
Contributions to the investigations of Lascar strong types in simple theories |
title_fullStr |
Contributions to the investigations of Lascar strong types in simple theories |
title_full_unstemmed |
Contributions to the investigations of Lascar strong types in simple theories |
title_sort |
contributions to the investigations of lascar strong types in simple theories |
publisher |
Universidade Federal de Pernambuco |
publishDate |
2014 |
url |
https://repositorio.ufpe.br/handle/123456789/1862 |
work_keys_str_mv |
AT lewitzkasteffen contributionstotheinvestigationsoflascarstrongtypesinsimpletheories |
_version_ |
1718859512213929984 |