Verificação de Propriedades do Cálculo Lambda_ex em Coq

Detalhes bibliográficos
Autor(a) principal: Washington Luís Ribeiro de Carvalho Segundo
Data de Publicação: 2010
Tipo de documento: Dissertação
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_4e2b46633e1ce3596ce30d4cca678f89
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Verificação de Propriedades do Cálculo Lambda_ex em Coq
title Verificação de Propriedades do Cálculo Lambda_ex em Coq
spellingShingle Verificação de Propriedades do Cálculo Lambda_ex em Coq
Washington Luís Ribeiro de Carvalho Segundo
title_short Verificação de Propriedades do Cálculo Lambda_ex em Coq
title_full Verificação de Propriedades do Cálculo Lambda_ex em Coq
title_fullStr Verificação de Propriedades do Cálculo Lambda_ex em Coq
Verificação de Propriedades do Cálculo Lambda_ex em Coq
title_full_unstemmed Verificação de Propriedades do Cálculo Lambda_ex em Coq
Verificação de Propriedades do Cálculo Lambda_ex em Coq
title_sort Verificação de Propriedades do Cálculo Lambda_ex em Coq
publishDate 2010
format masterThesis
author_role author
author Washington Luís Ribeiro de Carvalho Segundo
author_facet Washington Luís Ribeiro de Carvalho Segundo
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/9453481318889500
dc.contributor.advisor1.fl_str_mv FLAVIO LEONARDO CAVALCANTI DE MOURA
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/4924037693113808
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 CAPESVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em CoqVerificação de Propriedades do Cálculo Lambda_ex em Coq2010masterThesisauthorWashington Luís Ribeiro de Carvalho Segundohttp://lattes.cnpq.br/9453481318889500FLAVIO LEONARDO CAVALCANTI DE MOURAhttp://lattes.cnpq.br/4924037693113808UNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAUNIVERSIDADE DE BRASÍLIAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv Segundo, Washington Luís Ribeiro de Carvalho. Verificação de Propriedades do Cálculo Lambda_ex em Coq. 2010. Tese.
dc.identifier.citation.fl_str_mv Segundo, Washington Luís Ribeiro de Carvalho. Verificação de Propriedades do Cálculo Lambda_ex em Coq. 2010. Tese.
_version_ 1741883628431867904

Registros relacionados