Esquemas de recursão e classes de complexidade computacional

Description:  Neste seminário descrevem-se caracterizações implícitas de algumas classes de complexidade computacional. As caracterizações aqui descritas são expressas num contexto de álgebras livres. Isto permite-nos obter caracterizações de classes tão diversas como Ptime, Lspace e NC mudando apenas a álgebra de base. Deste modo, damos uma abordagem comum a classes de complexidade computacional que resultam de processos computacionais tão diferentes como deterministas e alternados com restrições de tempo, espaço ou tempo e espaço. Area(s): Logic and Computation Date:  2005-05-03 Start Time:   14.30 Speaker:  Isabel Oitavem (Universidade Nova de Lisboa) Place:  5.5 Research Groups: -Algebra, Logic and Topology See more:   <Main>