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...

Full description

Bibliographic Details
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