Defesa de Tese de Doutorado. Some Results in a Proof-theory Based on Graphs.

Autor: Marcela Quispe Cruz
Orientador: Edward Hermann Haeusler
Data e Hora: 13/11/2014 às 13:00
Local: 511RDC

Categorias: Teses e Dissertações