CONTEXT-FREE LANGUAGE THEORY

Detalhes bibliográficos
Autor(a) principal: MARCUS VINICIUS MIDENA RAMOS
Data de Publicação: 2016
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
Texto Completo: https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4675727
id BRCRIS_88e29f8ab15db667b23103934cfc166b
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv CONTEXT-FREE LANGUAGE THEORY
title CONTEXT-FREE LANGUAGE THEORY
spellingShingle CONTEXT-FREE LANGUAGE THEORY
Proof assistants. Coq. Formalization. Language theory. Context-free languages. Context-free grammars.
Assistentes de provas. Coq. Formalização. Teoria de linguagens. Linguagens livres de contexto. Gramáticas livres de contexto.
MARCUS VINICIUS MIDENA RAMOS
title_short CONTEXT-FREE LANGUAGE THEORY
title_full CONTEXT-FREE LANGUAGE THEORY
title_fullStr CONTEXT-FREE LANGUAGE THEORY
CONTEXT-FREE LANGUAGE THEORY
title_full_unstemmed CONTEXT-FREE LANGUAGE THEORY
CONTEXT-FREE LANGUAGE THEORY
title_sort CONTEXT-FREE LANGUAGE THEORY
topic Proof assistants. Coq. Formalization. Language theory. Context-free languages. Context-free grammars.
Assistentes de provas. Coq. Formalização. Teoria de linguagens. Linguagens livres de contexto. Gramáticas livres de contexto.
publishDate 2016
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4675727
author_role author
author MARCUS VINICIUS MIDENA RAMOS
author_facet MARCUS VINICIUS MIDENA RAMOS
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/7833733286842741
dc.contributor.advisor1.fl_str_mv RUY JOSE GUERRA BARRETTO DE QUEIROZ
dc.publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
publisher.none.fl_str_mv UNIVERSIDADE FEDERAL DE PERNAMBUCO
instname_str UNIVERSIDADE FEDERAL DE PERNAMBUCO
dc.publisher.program.fl_str_mv CIÊNCIAS DA COMPUTAÇÃO
dc.description.course.none.fl_txt_mv CIÊNCIAS DA COMPUTAÇÃO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYCONTEXT-FREE LANGUAGE THEORYProof assistants. Coq. Formalization. Language theory. Context-free languages. Context-free grammars.2016doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=4675727authorMARCUS VINICIUS MIDENA RAMOShttp://lattes.cnpq.br/7833733286842741RUY JOSE GUERRA BARRETTO DE QUEIROZUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOUNIVERSIDADE FEDERAL DE PERNAMBUCOCIÊNCIAS DA COMPUTAÇÃOCIÊNCIAS DA COMPUTAÇÃOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv RAMOS, MARCUS VINICIUS MIDENA. CONTEXT-FREE LANGUAGE THEORY. 2016. Tese.
dc.identifier.citation.fl_str_mv RAMOS, MARCUS VINICIUS MIDENA. CONTEXT-FREE LANGUAGE THEORY. 2016. Tese.
_version_ 1741887415987994624

Registros relacionados