Unificação, confluência e tipos com interseção para sistemas de reescrita nominal

Não existem arquivos associados a este item.
Título: 
Autor(es) e Colaborador(es): 
Autor(es) Principais: 
Outros identificadores: 
Data: 
1-Fev-2017
1-Fev-2017
1-Fev-2017
15-Set-2016
Tipo: 
Palavras-chave: 


Aparece nas coleções:Repositório Institucional – UNB - Rep. 1

Mostrar registro completo do item Visualizar estatísticas

Avaliação

1 2 3 4 5