Nominal equational problems modulo associativity, commutativity and associativity-commutativity

Detalhes bibliográficos
Ano de defesa: 2019
Autor(a) principal: Carvalho Segundo, Washington Luís Ribeiro de
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Programa de Pós-Graduação em Informática
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica nominal||Equações de ponto fixo||Alpha-equivalência||Unificação nominal
Link de acesso: https://riunbtainacan.unb.br/teses-e-dissertacoes/nominal-equational-problems-modulo-associativity-commutativity-and-associativity-commutativity/
http://repositorio.unb.br/handle/10482/35474
id UNB-41_437bc955b76ff9e9cd6da12e51ebb3ca
oai_identifier_str oai:riunbtainacan.unb.br:49991
network_acronym_str UNB-41
network_name_str RIUnB Tainacan
repository_id_str
spelling Nominal equational problems modulo associativity, commutativity and associativity-commutativityLógica nominal||Equações de ponto fixo||Alpha-equivalência||Unificação nominalPrograma de Pós-Graduação em InformáticaAyala-Rincón, Mauricio||Fernández, MaribelCarvalho Segundo, Washington Luís Ribeiro de2019-09-27info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttps://riunbtainacan.unb.br/teses-e-dissertacoes/nominal-equational-problems-modulo-associativity-commutativity-and-associativity-commutativity/http://repositorio.unb.br/handle/10482/35474enginfo:eu-repo/semantics/openAccessreponame:RIUnB Tainacaninstname:Universidade de Brasília (UnB)instacron:UNB2026-09-02T01:05:20Zoai:riunbtainacan.unb.br:49991Repositório InstitucionalPUBhttps://riunbtainacan.unb.br/wp-json/tainacan/v2/oai/opendoar:2026-09-02T01:05:20RIUnB Tainacan - Universidade de Brasília (UnB)false
dc.title.none.fl_str_mv Nominal equational problems modulo associativity, commutativity and associativity-commutativity
title Nominal equational problems modulo associativity, commutativity and associativity-commutativity
spellingShingle Nominal equational problems modulo associativity, commutativity and associativity-commutativity
Carvalho Segundo, Washington Luís Ribeiro de
Lógica nominal||Equações de ponto fixo||Alpha-equivalência||Unificação nominal
title_short Nominal equational problems modulo associativity, commutativity and associativity-commutativity
title_full Nominal equational problems modulo associativity, commutativity and associativity-commutativity
title_fullStr Nominal equational problems modulo associativity, commutativity and associativity-commutativity
title_full_unstemmed Nominal equational problems modulo associativity, commutativity and associativity-commutativity
title_sort Nominal equational problems modulo associativity, commutativity and associativity-commutativity
author Carvalho Segundo, Washington Luís Ribeiro de
author_facet Carvalho Segundo, Washington Luís Ribeiro de
author_role author
dc.contributor.none.fl_str_mv Ayala-Rincón, Mauricio||Fernández, Maribel
dc.contributor.author.fl_str_mv Carvalho Segundo, Washington Luís Ribeiro de
dc.subject.por.fl_str_mv Lógica nominal||Equações de ponto fixo||Alpha-equivalência||Unificação nominal
topic Lógica nominal||Equações de ponto fixo||Alpha-equivalência||Unificação nominal
publishDate 2019
dc.date.none.fl_str_mv 2019-09-27
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://riunbtainacan.unb.br/teses-e-dissertacoes/nominal-equational-problems-modulo-associativity-commutativity-and-associativity-commutativity/
http://repositorio.unb.br/handle/10482/35474
url https://riunbtainacan.unb.br/teses-e-dissertacoes/nominal-equational-problems-modulo-associativity-commutativity-and-associativity-commutativity/
http://repositorio.unb.br/handle/10482/35474
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Programa de Pós-Graduação em Informática
publisher.none.fl_str_mv Programa de Pós-Graduação em Informática
dc.source.none.fl_str_mv reponame:RIUnB Tainacan
instname:Universidade de Brasília (UnB)
instacron:UNB
instname_str Universidade de Brasília (UnB)
instacron_str UNB
institution UNB
reponame_str RIUnB Tainacan
collection RIUnB Tainacan
repository.name.fl_str_mv RIUnB Tainacan - Universidade de Brasília (UnB)
repository.mail.fl_str_mv
_version_ 1875698150927237120

Registros relacionados