Formalização da confluência para sistemas de reescrita ortogonais
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2012. === Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2012-12-20T11:22:37Z No. of bitstreams: 1 2012_AnaCristinaRochaOliveira.pdf: 577195 bytes, checksum: 05058096982215ccfe44...
Main Author: | |
---|---|
Other Authors: | |
Language: | Portuguese |
Published: |
2012
|
Subjects: | |
Online Access: | http://repositorio.unb.br/handle/10482/11845 |