Please use this identifier to cite or link to this item:
Type: TESE
Degree Level: Doutorado
Title: Normalização forte via ordinal natural
Author: Alves, Daniel Durante Pereira, 1968-
Advisor: D'Ottaviano, Itala Maria Loffredo, 1944-
Abstract: Resumo: Não informado

Abstract: Not informed.
Subject: Lógica simbólica e matemática
Cálculo de predicados
Calculo lambda
Language: Português
Editor: [s.n.]
Date Issue: 1999
Appears in Collections:IFCH - Tese e Dissertação

Files in This Item:
File SizeFormat 
Alves_DanielDurantePereira_D.pdf10.66 MBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.