Uma Modelagem Caegórica para a Modularidade da Confluência em Sistemas de Reescrita de Termos
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
produzido em
- Mathematics Programa de Pós-Graduação
tipo
- master thesis
data de publicação
- 2001-07-01
prêmio patrocinado pela
- UNIVERSIDADE FEDERAL DO RIO GRANDE DO NORTE Organização