|
|
|
|
|
|
|
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: |
|
| Start Time: |
14.30 |
|
Speaker: |
Isabel Oitavem
(Universidade Nova de Lisboa)
|
|
Place: |
5.5
|
| Research Groups: |
-Algebra, Logic and Topology
|
|
See more:
|
<Main>
|
|
| |
|
|
|
|
|
|
© 2012 Centre for Mathematics, University of Coimbra, funded by
Powered by: rdOnWeb
v1.4 | technical support
|
|
|
|
