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.
| Main Author: | Oliveira, Ana Cristina Rocha |
|---|---|
| Other Authors: | Ayala-Rincón, Mauricio |
| Format: | Dissertação |
| Language: | Português |
| Published: |
2012
|
| Subjects: | |
| Online Access: |
http://repositorio.unb.br/handle/10482/11845 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: |
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2012. |
|---|