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 |