1
Assuntos:
“...Teoria : Ciência : Computação...”
ANAC : uma ferramenta para a automatização da análise da complexidade de algoritmos
Dissertação
2
Assuntos:
“...Teoria : Ciência : Computação...”
Uma tradução de gramáticas de hipergrafos baseadas em objetos para cálculo-π
Dissertação
3
Assuntos:
“...Teoria : Ciência : Computação...”
Uma Proposta de especificação formal e fundamentação teórica para simulated annealing
Dissertação
4
Assuntos:
“...Teoria : Ciência : Computação...”
Categoria de grafos parciais com homomorfismos totais teoria e aplicações
Dissertação
5
Assuntos:
“...Teoria : Ciência : Computação...”
Identificação de nomes ativos em agentes-π baseada em tipos
Dissertação
6
Assuntos:
“...Teoria : Ciência : Computação...”
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Dissertação
7
Assuntos:
“...Teoria : Ciência : Computação...”
Uma fundamentação teórica para a complexidade estrutural de problemas de otimização
Tese
8
Assuntos:
“...Teoria : Ciência : Computação...”
Análise da Máquina de Turing Persistente com múltiplas fitas de trabalho
Dissertação
9
Assuntos:
“...Teoria : Ciência : Computação...”
CaTReS : ferramenta de apoio à pesquisa e ensino em teoria das categorias
Dissertação
10
Assuntos:
“...Teoria : Ciência : Computação...”
Structuring general and complete quantum computations in Haskell : the arrows approach
Tese
11
Assuntos:
“...Teoria : Ciência : Computação...”
Estudo dos espaços coerentes do ponto de vista da teoria dos topos
Dissertação
12
Assuntos:
“...Teoria : Ciência : Computação...”
Avaliação da compressão de dados e da qualidade de imagem em modelos de animação gráfica para web : uma nova abordagem baseada em complexidade de Kolmogorov
Tese
13
14
Assuntos:
“...Teoria : Ciência : Computação...”
Inteligência de máquina : esboço de uma abordagem construtivista
Tese
15
Assuntos:
“...Teoria : Ciência : Computação...”
Estratégias de computação seqüenciais e paralelas sobre espaços coerentes
Dissertação