Expansibilidade em cálculos de substituições explícitas
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2012. === Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2013-04-26T15:53:16Z No. of bitstreams: 1 2012_FabioHenriquedaSilva.pdf: 552243 bytes, checksum: e64f674891ae...
Main Author: | Silva, Fábio Henrique da |
---|---|
Other Authors: | Ventura, Daniel Lima |
Language: | Portuguese |
Published: |
2013
|
Subjects: | |
Online Access: | http://repositorio.unb.br/handle/10482/13737 |
Similar Items
-
Cálculos de substituições explícitas à la de Bruijn com sistemas de tipos com interseção
by: Ventura, Daniel Lima
Published: (2011) -
Evolução no Cálculo de Áreas de Figuras Planas: de Arquimedes a Newton
by: Guedes, Aurilio da Silva
Published: (2015) -
Comparação de técnicas de medição de potência reativa sob condições não-senoidais com ênfase na transformada Wavelet
by: Vieira, Daniel
Published: (2012) -
Cálculo de áreas no ensino médio
by: Silva, Ana Paula Rezende Calado da
Published: (2017) -
Conjuntos controláveis por cadeias para ações de semigrupos em fibrados /
by: Scanholato, Cintia Aparecida da Silva.
Published: (2015)