Artículo:

Mathematical Logic and Formal Languages

Página:

85 y 118

Sección:

Theory of Computation

Publicación:

Computing Reviews

Volúmen:

50

Número:

2

Periodo:

February 2009

ISSN:

00104884

SrcID:

00104884-2009-02.txt