ANAC - Uma Ferramenta para a Automatização da Análise da Complexidade de Algoritmos
Documento
-
- Visão geral
-
- Pesquisas
-
- Identidade
-
- Ver todos
-
Visão geral
membro de
orientado por
produzido em
tipo
data de publicação
Pesquisas
áreas de investigação
palavras-chave
-
Complexidade de Algoritmos
-
Lógica
-
Semântica Formal
-
Teoria da Computação
Identidade
identificador BrCris
-
6d30b74127a705f224b4779753db5f33
identificador Capes
-
200155442001013004P4-Publication
identificador Oasisbr
-
URGS_8a158f26348ccdc59afe028bd359bdc3