Uma formalização da teoria de reescrita em linguagem de ordem superior
Saved in:
| Main Author: | |
|---|---|
| Publication Date: | 2008 |
| Format: | Doctoral thesis |
| Language: | por |
| Source: | Repositório Institucional da UnB |
| Download full: | http://repositorio.unb.br/handle/10482/1343 |
Summary: | Tese(doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2008. |
Similar Items: Uma formalização da teoria de reescrita em linguagem de ordem superior
- Operadores de redução para completamento de sistemas de reescrita
- A mediação do professor no processo de refacção textual: escrita e reescrita
- Formalização da prova do teorema de existência de unificadores mais gerais em teorias de primeira-ordem
- Sistemas de reescrita para grupos policíclicos
- Condições De Produção De Textos E Reescrita Orientada Por Bilhetes
- Condições De Produção De Textos E Reescrita Orientada Por Bilhetes