Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Esquemas de recursão e classes de complexidade computacional

Abstract
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.

Areas of interest
Logic and Computation

Speaker(s)
Isabel Oitavem (Universidade Nova de Lisboa)

Date
May 03, 2005

Time
14.30

Room
5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia