Teoria A: Algoritmos e Complexidade
Algoritmos de Aproximação em Grafos
Algoritmos de String Matching
Teoria B: Modelos Formais e Semântica
Teoria dos Modelos Finitos e Complexidade Descritiva
Teoria Estrutural de Provas
Última atualização em 24 de Setembro de 2001, 11:26:58 EST