Artículo:

From Almost Optimal Algorithms to Logics for Complexity Classes via Listings and a Halting Problem

Autor:

Yijia Chen, Jörg Flum

Página:

Article 17

Publicación:

Journal of the ACM

Volúmen:

59

Número:

4

Periodo:

Agosto 2012

ISSN:

00045411

SrcID:

00045411-2012-04.txt