Uma Análise Categógrica do Teorema da Confluência de Sistemas de Reescrita de Termos
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Modularidade da Confluência
-
Mônada
-
Teoria da Reescrita
-
Teoria de Categorias
Identidade
identificador BrCris
-
2b976fb926be81046c7d601f6e3a3df3