Artículo:

Mathematical logic and formal languages

Página:

405 Y 437

Sección:

Theory of computation

Publicación:

Computing Reviews

Volúmen:

50

Número:

7

Periodo:

July 2009

ISSN:

00104884

SrcID:

00104884-2009-07.txt