Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger

Detalhes bibliográficos
Autor(a) principal: IVAN EID TAVARES DE ARAUJO
Data de Publicação: 1998
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_9759c02e32224a14db15e29572c020a3
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
title Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
spellingShingle Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
IVAN EID TAVARES DE ARAUJO
title_short Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
title_full Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
title_fullStr Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
title_full_unstemmed Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
title_sort Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger
publishDate 1998
format masterThesis
author_role author
author IVAN EID TAVARES DE ARAUJO
author_facet IVAN EID TAVARES DE ARAUJO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7490414367530489
dc.contributor.advisor1.fl_str_mv Maurício Ayala Rincón
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/8466420403941522
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0003-0089-3905
dc.publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
publisher.none.fl_str_mv UNIVERSIDADE DE BRASÍLIA
instname_str UNIVERSIDADE DE BRASÍLIA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de PresburgerUnificação Em Teorias Monoidais e Módulo A Aritmética de Presburger1998masterThesisauthorIVAN EID TAVARES DE ARAUJOhttp://lattes.cnpq.br/7490414367530489Maurício Ayala Rincónhttp://lattes.cnpq.br/8466420403941522https://orcid.org/0000-0003-0089-3905UNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv ARAUJO, IVAN EID TAVARES DE. Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger. 1998. Tese.
dc.identifier.citation.fl_str_mv ARAUJO, IVAN EID TAVARES DE. Unificação Em Teorias Monoidais e Módulo A Aritmética de Presburger. 1998. Tese.
_version_ 1741886768401088512

Registros relacionados