Artículo:

Mathematical logic and formal languages

Página:

470 y 502

Sección:

Theory of computation

Publicación:

Computing Reviews

Volúmen:

50

Número:

8

Periodo:

August 2009

ISSN:

00104884

SrcID:

00104884-2009-08.txt