Some Results in a Proof-theory Based on Graphs

Detalhes bibliográficos
Autor(a) principal: MARCELA QUISPE CRUZ
Data de Publicação: 2014
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=2391093
id BRCRIS_7dcc862ec7a0f7c1d5f8f88114394266
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Some Results in a Proof-theory Based on Graphs
title Some Results in a Proof-theory Based on Graphs
spellingShingle Some Results in a Proof-theory Based on Graphs
Proof-graphs, Natural Deduction, Proof Complexity, Strong Normalisation, Classical Logic, Deep Inference, Bi-intuitionistic Logic.
Grafos de Prova, Dedução Natural, Complexidade de Provas, Normalisação Forte, Lógica Classica, Inferência Profunda, Logica Bi-intuicionista.
MARCELA QUISPE CRUZ
title_short Some Results in a Proof-theory Based on Graphs
title_full Some Results in a Proof-theory Based on Graphs
title_fullStr Some Results in a Proof-theory Based on Graphs
Some Results in a Proof-theory Based on Graphs
title_full_unstemmed Some Results in a Proof-theory Based on Graphs
Some Results in a Proof-theory Based on Graphs
title_sort Some Results in a Proof-theory Based on Graphs
topic Proof-graphs, Natural Deduction, Proof Complexity, Strong Normalisation, Classical Logic, Deep Inference, Bi-intuitionistic Logic.
Grafos de Prova, Dedução Natural, Complexidade de Provas, Normalisação Forte, Lógica Classica, Inferência Profunda, Logica Bi-intuicionista.
publishDate 2014
format doctoralThesis
url https://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2391093
author_role author
author MARCELA QUISPE CRUZ
author_facet MARCELA QUISPE CRUZ
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/2178636711668297
dc.contributor.advisor1.fl_str_mv EDWARD HERMANN HAEUSLER
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/6075905438020841
dc.publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
publisher.none.fl_str_mv PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
instname_str PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
dc.publisher.program.fl_str_mv INFORMÁTICA
dc.description.course.none.fl_txt_mv INFORMÁTICA
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsSome Results in a Proof-theory Based on GraphsProof-graphs, Natural Deduction, Proof Complexity, Strong Normalisation, Classical Logic, Deep Inference, Bi-intuitionistic Logic.2014doctoralThesishttps://sucupira.capes.gov.br/sucupira/public/consultas/coleta/trabalhoConclusao/viewTrabalhoConclusao.jsf?popup=true&id_trabalho=2391093authorMARCELA QUISPE CRUZhttp://lattes.cnpq.br/2178636711668297EDWARD HERMANN HAEUSLERhttp://lattes.cnpq.br/6075905438020841PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROPONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIROINFORMÁTICAINFORMÁTICAPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv CRUZ, MARCELA QUISPE. Some Results in a Proof-theory Based on Graphs. 2014. Tese.
dc.identifier.citation.fl_str_mv CRUZ, MARCELA QUISPE. Some Results in a Proof-theory Based on Graphs. 2014. Tese.
_version_ 1741889342203232256

Registros relacionados