Seminários de Lógica Matemática

10 de Abril, 17h00

POINTERS AND NON-DETERMINISM
SALA 3.10 - IST

ISABEL OITAVEM (CMAF & UNIVERSIDADE NOVA DE LISBOA)

Abstract:

In this talk we use the notion of pointers to approach non-deterministic classes of complexity. In particular, we give an implicit characterization of the class NP, without using any minimization scheme. This is a purely recursion-theoretic formulation of NP.

| back