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...

Full description

Bibliographic Details
Main Author: Lewitzka, Steffen
Other Authors: José Guerra Barreto de Queiroz, Ruy
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