Ir para o conteúdo principal
Painel lateral
Paca
Página inicial
Mais
Você acessou como visitante
Acessar
Página inicial
Abrir índice do curso
Semestres anteriores
MAC5722-2010
AULA 14: PSPACE-completude
Página
AULA 14: PSPACE-completude
A linguagem TBQF é PSPACE-completa.
Última atualização: quarta-feira, 29 dez. 2010, 21:00